![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Allegro/ | 04-Nov-2010 21:53 | - | |
| CLISP-more/ | 04-Nov-2010 21:53 | - | |
| CMUCL/ | 04-Nov-2010 21:53 | - | |
| GCL-ANSI-2/ | 04-Nov-2010 21:53 | - | |
| GCL-ANSI/ | 04-Nov-2010 21:53 | - | |
| GCL-CLTL1/ | 04-Nov-2010 21:53 | - | |
| OpenMCL/ | 04-Nov-2010 21:53 | - | |
| SBCL/ | 04-Nov-2010 21:53 | - | |
| Up-To-Date/ | 04-Nov-2010 21:53 | - | |
| bootstrap-demo-extension/ | 04-Nov-2010 21:53 | - | |
| bootstrap/ | 04-Nov-2010 21:53 | - | |
| elim/ | 04-Nov-2010 21:53 | - | |
| metis/ | 04-Nov-2010 21:53 | - | |
| verified-lisp/ | 19-Feb-2011 13:39 | - | |
| acl2-bootstrap.lisp | 04-Nov-2010 21:53 | 7.1K | |
| acl2-core-preliminaries.lisp | 04-Nov-2010 21:53 | 35K | |
| acl2-extn-crewrite-helpers.lisp | 04-Nov-2010 21:53 | 23K | |
| acl2-extn-crewrite.lisp | 04-Nov-2010 21:53 | 166K | |
| acl2-util-clausify2.lisp | 04-Nov-2010 21:53 | 28K | |
| acl2-util-crw-2.lisp | 04-Nov-2010 21:53 | 34K | |
| acl2-util-iffp-builders.lisp | 04-Nov-2010 21:53 | 14K | |
| acl2-util-refinement-builders.lisp | 04-Nov-2010 21:53 | 8.7K | |
| appeal-equiv.lisp | 04-Nov-2010 21:53 | 12K | |
| ar-junk.txt | 04-Nov-2010 21:53 | 14K | |
| ar.lisp | 04-Nov-2010 21:53 | 35K | |
| assumptions.lisp | 04-Nov-2010 21:53 | 40K | |
| axioms.lisp | 04-Nov-2010 21:53 | 39K | |
| bind-free.lisp | 04-Nov-2010 21:53 | 8.3K | |
| bootstrap-build-timers.lisp | 04-Nov-2010 21:53 | 1.0K | |
| bootstrap-up-to-date.lisp | 04-Nov-2010 21:53 | 4.9K | |
| build-level3-rlimit-tracing.lsp | 04-Nov-2010 21:53 | 40K | |
| build-memberp-of-cons.lisp | 04-Nov-2010 21:53 | 30K | |
| build-memberp-when-not-consp.lisp | 04-Nov-2010 21:53 | 44K | |
| build-proofp.lisp | 04-Nov-2010 21:53 | 5.4K | |
| ccl-memory-config.lsp | 04-Nov-2010 21:53 | 922 | |
| challenge.lisp | 04-Nov-2010 21:53 | 2.3K | |
| core-builders.lisp | 04-Nov-2010 21:53 | 2.6K | |
| core-reasoning.lisp | 04-Nov-2010 21:53 | 4.6K | |
| core-tests.lisp | 04-Nov-2010 21:53 | 4.7K | |
| core.lisp | 04-Nov-2010 21:53 | 23K | |
| core.lisp-newer | 04-Nov-2010 21:53 | 30K | |
| core2.lisp | 04-Nov-2010 21:53 | 46K | |
| crap.lisp | 04-Nov-2010 21:53 | 8.5K | |
| crw.lisp | 04-Nov-2010 21:53 | 22K | |
| defun.lisp | 04-Nov-2010 21:53 | 5.1K | |
| demo.lsp | 04-Nov-2010 21:53 | 6.6K | |
| disable-linear-aux.lisp | 04-Nov-2010 21:53 | 14K | |
| disable-linear.lisp | 04-Nov-2010 21:53 | 4.3K | |
| ev-msg.lisp | 04-Nov-2010 21:53 | 3.5K | |
| evaluator-bldr-new.lsp | 04-Nov-2010 21:53 | 47K | |
| evaluators.lisp | 04-Nov-2010 21:53 | 16K | |
| export-program.lisp | 04-Nov-2010 21:53 | 11K | |
| extend-atbl-db.lisp | 04-Nov-2010 21:53 | 15K | |
| extension-support-junk.lisp | 04-Nov-2010 21:53 | 17K | |
| extractor.lisp | 04-Nov-2010 21:53 | 7.4K | |
| f74181-challenge.lisp | 04-Nov-2010 21:53 | 187K | |
| fgoals.lisp | 04-Nov-2010 21:53 | 7.7K | |
| foo.lisp | 04-Nov-2010 21:53 | 1.3K | |
| goalids.lisp | 04-Nov-2010 21:53 | 7.2K | |
| helpers.lisp | 04-Nov-2010 21:53 | 34K | |
| iff.lisp | 04-Nov-2010 21:53 | 18K | |
| initialize.lisp | 04-Nov-2010 21:53 | 9.0K | |
| inline-test.lisp | 04-Nov-2010 21:53 | 948 | |
| junk111.lisp | 04-Nov-2010 21:53 | 17K | |
| latexify-meta.lisp | 04-Nov-2010 21:53 | 5.6K | |
| lift-all.lisp | 04-Nov-2010 21:53 | 8.0K | |
| lifted-terms.lisp | 04-Nov-2010 21:53 | 12K | |
| limsplit-bldr.lisp | 04-Nov-2010 21:53 | 33K | |
| limsplit.lisp | 04-Nov-2010 21:53 | 12K | |
| loader.lisp | 04-Nov-2010 21:53 | 28K | |
| loop-debug-raw.lsp | 04-Nov-2010 21:53 | 2.1K | |
| loopdebug-from-build.lisp | 04-Nov-2010 21:53 | 3.9K | |
| milawa-ancestors.lisp | 04-Nov-2010 21:53 | 134 | |
| milawa.lisp | 04-Nov-2010 21:53 | 22K | |
| milawa_gcl.lisp | 04-Nov-2010 21:53 | 2.6K | |
| milawa_package.lisp | 04-Nov-2010 21:53 | 1.3K | |
| monitor-raw.lsp | 04-Nov-2010 21:53 | 3.4K | |
| nocache.lsp | 04-Nov-2010 21:53 | 6.0K | |
| package-misc.lisp | 04-Nov-2010 21:53 | 4.0K | |
| package.lisp | 04-Nov-2010 21:53 | 19K | |
| patmatch-formula-slow.lsp | 04-Nov-2010 21:53 | 16K | |
| patmatch-term-slow.lsp | 04-Nov-2010 21:53 | 21K | |
| proofp-2-comm.junk | 04-Nov-2010 21:53 | 15K | |
| proofp-3.lisp | 04-Nov-2010 21:53 | 45K | |
| proofp-4.lisp | 04-Nov-2010 21:53 | 95K | |
| proofp-5.lisp | 04-Nov-2010 21:53 | 45K | |
| reader.lisp | 04-Nov-2010 21:53 | 11K | |
| relieve-hyps-patch.lisp | 04-Nov-2010 21:53 | 17K | |
| ruler.lisp | 04-Nov-2010 21:53 | 19K | |
| rw_ftuples.lisp | 04-Nov-2010 21:53 | 30K | |
| simplify.lisp | 04-Nov-2010 21:53 | 42K | |
| skeletonp-exp.lsp | 04-Nov-2010 21:53 | 16K | |
| sr.lisp | 04-Nov-2010 21:53 | 9.8K | |
| syntax-eval-times.lsp | 04-Nov-2010 21:53 | 95K | |
| syntax-junk.lisp | 04-Nov-2010 21:53 | 14K | |
| system-state.lisp | 04-Nov-2010 21:53 | 9.5K | |
| tautology.lisp | 04-Nov-2010 21:53 | 23K | |
| termination.lisp | 04-Nov-2010 21:53 | 7.1K | |
| three-values.lisp | 04-Nov-2010 21:53 | 17K | |
| timetest-simple-theorem.lsp | 04-Nov-2010 21:53 | 694 | |
| translate-newer.lisp | 04-Nov-2010 21:53 | 11K | |
| translate.lisp | 04-Nov-2010 21:53 | 38K | |
| unlifted-simple-tests.lisp | 04-Nov-2010 21:53 | 6.9K | |
| urewrite-rewriter.lisp | 04-Nov-2010 21:53 | 19K | |
| urewrite.lisp | 04-Nov-2010 21:53 | 44K | |
| writer.lisp | 04-Nov-2010 21:53 | 16K | |