Index of /users/moore/acl2/v3-4/distrib/acl2-sources/books/deduction/passmore

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[TXT] Makefile                17-Dec-2007 09:58  1.1K  
[TXT] Readme.lsp              17-Dec-2007 09:58  1.8K  
[   ] bewijs.lisp             17-Dec-2007 09:58  3.3K  
[   ] general.lisp            17-Dec-2007 09:58  5.0K  
[   ] paramod.lisp            17-Dec-2007 09:58  5.1K  
[   ] prover.lisp             17-Dec-2007 09:58   20K  
[   ] resolution.lisp         17-Dec-2007 09:58   12K  
[   ] unification.lisp        17-Dec-2007 09:58  8.9K  
[   ] weighting.lisp          17-Dec-2007 09:58  8.8K