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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[DIR]autodoc/2010-11-04 21:53 -  
[   ]cert.image2012-02-29 18:14 15  
[   ]cleanup.lisp2010-11-04 21:53 7.7K 
[   ]colors.lisp2010-11-04 21:53 3.2K 
[   ]compiler.lisp2010-11-04 21:53 45K 
[   ]conditional-eqsubst-all.lisp2010-11-04 21:53 23K 
[   ]conditional-eqsubst.lisp2010-11-04 21:53 22K 
[   ]crewrite-all.lisp2010-11-04 21:53 13K 
[   ]crewrite-first.lisp2010-11-04 21:53 13K 
[   ]crewrite-world.lisp2010-11-04 21:53 48K 
[   ]distribute-all.lisp2010-11-04 21:53 31K 
[   ]elim.lisp2010-11-04 21:53 51K 
[   ]fertilize.lisp2010-11-04 21:53 23K 
[   ]generalize-all.lisp2010-11-04 21:53 10K 
[   ]generalize-first.lisp2010-11-04 21:53 11K 
[   ]induct.lisp2010-11-04 21:53 51K 
[   ]make-image.lsp2012-02-29 18:14 468  
[   ]partition.lisp2010-11-04 21:53 11K 
[DIR]proofs/2010-11-04 21:53 -  
[   ]rewrite-world.lisp2010-11-04 21:53 29K 
[   ]simple-world-change.lisp2010-11-04 21:53 10K 
[   ]skeletonp.lisp2010-11-04 21:53 18K 
[   ]skip-all.lisp2010-11-04 21:53 6.9K 
[   ]skip-first.lisp2010-11-04 21:53 7.0K 
[   ]split-all.lisp2010-11-04 21:53 15K 
[   ]split-first.lisp2010-11-04 21:53 11K 
[   ]theory-change.lisp2010-11-04 21:53 48K 
[   ]urewrite-all.lisp2010-11-04 21:53 11K 
[   ]urewrite-first.lisp2010-11-04 21:53 13K 
[   ]use.lisp2010-11-04 21:53 10K 
[   ]waterfall.lisp2010-11-04 21:53 95K 
[   ]world-check.lisp2010-11-04 21:53 27K 
[   ]worldp.lisp2010-11-04 21:53 15K 

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