Index of /users/jared/milawa/Junk

[ICO]NameLast modifiedSizeDescription

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

Apache/2.4.18 (Ubuntu) Server at www.cs.utexas.edu Port 80