Index of /users/moore/acl2/books/books/symbolic/generic

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Makefile                11-Jan-2006 09:40  2.1K  
 assertions.lisp         21-Dec-2005 14:51  9.1K  
 defsimulate.lisp        04-Jan-2006 09:46   59K  
 factorial-jvm-correc..> 21-Dec-2005 12:07   75   
 factorial-jvm-correc..> 21-Dec-2005 11:51   13K  
 measures.lisp           21-Dec-2005 11:51  4.0K  
 partial-correctness...> 21-Dec-2005 13:19   30K  
 tiny-fib-correct.lisp   21-Dec-2005 14:52  6.9K  
 total-correctness.lisp  21-Dec-2005 14:50   33K