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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]appeal-identity.lisp2010-11-04 21:53 7.7K 
[   ]arities-okp.lisp2010-11-04 21:53 29K 
[DIR]autodoc/2010-11-04 21:53 -  
[   ]base-evaluator.lisp2010-11-04 21:53 9.8K 
[   ]cert.image2012-02-29 18:14 16  
[   ]disjoin-formulas.lisp2010-11-04 21:53 11K 
[   ]find-proof.lisp2010-11-04 21:53 5.5K 
[   ]formula-size.lisp2010-11-04 21:53 7.0K 
[   ]formulas.lisp2010-11-04 21:53 33K 
[   ]fterm-lists.lisp2010-11-04 21:53 8.8K 
[   ]functional-axiom.lisp2010-11-04 21:53 7.2K 
[   ]fuse.lisp2010-11-04 21:53 8.1K 
[   ]groundp.lisp2010-11-04 21:53 10K 
[   ]lambda-count.lisp2010-11-04 21:53 7.9K 
[   ]negate-formulas.lisp2010-11-04 21:53 11K 
[   ]negate-term.lisp2010-11-04 21:53 4.5K 
[   ]pand.lisp2010-11-04 21:53 7.1K 
[   ]patmatch-formula.lisp2010-11-04 21:53 15K 
[   ]patmatch-term.lisp2010-11-04 21:53 20K 
[   ]pequal-list.lisp2010-11-04 21:53 13K 
[   ]piff.lisp2010-11-04 21:53 7.1K 
[   ]por-list.lisp2010-11-04 21:53 11K 
[   ]proofp.lisp2010-11-04 21:53 80K 
[   ]quote-range.lisp2010-11-04 21:53 5.1K 
[   ]replace-proofs.lisp2010-11-04 21:53 16K 
[   ]replace-subterm.lisp2010-11-04 21:53 12K 
[   ]substitute-formula.lisp2010-11-04 21:53 12K 
[   ]substitute-term.lisp2010-11-04 21:53 20K 
[   ]subtermp.lisp2010-11-04 21:53 14K 
[   ]term-formula.lisp2010-11-04 21:53 7.9K 
[   ]term-order.lisp2010-11-04 21:53 38K 
[   ]termination.lisp2010-11-04 21:53 30K 
[   ]terms.lisp2010-11-04 21:53 62K 
[   ]top.lisp2010-11-04 21:53 3.5K 
[   ]trace-proofp.lisp2010-11-04 21:53 3.9K 
[   ]translate-sigma.lisp2010-11-04 21:53 5.7K 
[   ]translate.lisp2010-11-04 21:53 51K 

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