Index of /users/moore/publications/flying-demo

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]README.html2000-07-02 15:36 1.5K 
[   ]examples.lisp2000-07-02 10:03 21K 
[   ]isort.lisp2000-07-02 10:03 24K 
[   ]perm.lisp2000-07-02 10:03 1.4K 
[TXT]script.html2004-02-29 15:30 408K 
[   ]script.lisp2000-07-02 10:03 19K 
[   ]script.output2000-07-02 10:03 268K 
[   ]script.output22000-07-02 10:03 268K 
[   ]script.output32000-07-02 10:03 268K 
[   ]tjvm.lisp2000-07-02 10:03 20K 

README for Flying Demo This is the README file for the ACL2 flying demo. The relevant files on this directory are:

If you wish to reproduce the demo on your local copy of ACL2, you should retrieve each of these files. Then certify the books noted above; certification instructions are included in each book. Then carry out the instructions in script.lisp.

Matt Kaufmann and J Strother Moore
June, 2000