← Back to branch summary

~ubuntu-branches/ubuntu/wily/acl2/wily

« back to all changes in this revision

Viewing changes to books/workshops/2003/moore_vcg/support/README

  • Committer: Package Import Robot
  • Author(s): Camm Maguire
  • Date: 2015-01-16 10:35:45 UTC
  • mfrom: (3.3.26 sid)
  • Revision ID: package-import@ubuntu.com-20150116103545-prehe9thgo79o8w8
Tags: 7.0-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
books/workshops/2003/moore_vcg/support/README
 
1
; Tail-Recursive Completion of Inductive Assertions
 
2
;  in an Operational Semantics Setting
 
3
 
 
4
; J Strother Moore
 
5
 
 
6
; This directory contains supporting material for the paper above.
 
7
; To recertify the books here, type make to the linux prompt or
 
8
; get into ACL2 while standing on this directory and type
 
9
 
 
10
; (ld "certify.lsp" :ld-pre-eval-print t)
 
11