Index of /users/jared/milawa/Sources/ACL2/rewrite

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ancestors.lisp2010-11-04 21:53 11K 
[DIR]assms/2012-02-29 18:14 -  
[   ]assume.lisp2010-11-04 21:53 6.4K 
[DIR]autodoc/2010-11-04 21:53 -  
[   ]cachep.lisp2010-11-04 21:53 45K 
[   ]ccstep-arities.lisp2010-11-04 21:53 7.5K 
[   ]ccstep-check.lisp2010-11-04 21:53 16K 
[   ]ccsteps.lisp2010-11-04 21:53 55K 
[   ]cert.image2012-02-29 18:14 16  
[   ]controlp.lisp2010-11-04 21:53 15K 
[   ]crewrite-clause.lisp2010-11-04 21:53 49K 
[   ]crewrite.lisp2010-11-04 21:53 169K 
[   ]definitions.lisp2010-11-04 21:53 8.0K 
[   ]evaluator-bldr.lisp2010-11-04 21:53 34K 
[   ]evaluator.lisp2010-11-04 21:53 16K 
[   ]fast-cache.lisp2010-11-04 21:53 16K 
[   ]fast-crewrite-clause.lisp2010-11-04 21:53 28K 
[   ]fast-crewrite.lisp2010-11-04 21:53 81K 
[   ]fast-traces.lisp2010-11-04 21:53 53K 
[   ]fast-urewrite.lisp2010-11-04 21:53 12K 
[   ]gather.lisp2010-11-04 21:53 12K 
[   ]magic-evaluator.lisp2010-11-04 21:53 6.4K 
[   ]match-free.lisp2010-11-04 21:53 22K 
[DIR]proofs/2010-11-04 21:53 -  
[   ]prop.lisp2010-11-04 21:53 4.1K 
[   ]rulep.lisp2010-11-04 21:53 17K 
[   ]syntax-evaluator.lisp2010-11-04 21:53 23K 
[   ]test-evaluator.lsp2010-11-04 21:53 1.8K 
[   ]theory-arities.lisp2010-11-04 21:53 15K 
[   ]theoryp.lisp2010-11-04 21:53 70K 
[DIR]traces/2012-02-29 18:14 -  
[   ]urewrite-clause.lisp2010-11-04 21:53 9.7K 
[   ]urewrite.lisp2010-11-04 21:53 29K 
[   ]worse-termp-patch.lsp2010-11-04 21:53 10K 
[   ]worse-termp-tests.lsp2010-11-04 21:53 3.9K 
[   ]worse-termp.lisp2010-11-04 21:53 24K 

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