Index of /users/moore/acl2/current/distrib/acl2-sources/books/workshops/1999/calculus/solutions

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Makefile                20-Jul-2009 18:13   65   
 Makefile-essence        13-Oct-2008 14:04  607   
 mesh-append.lisp        13-Oct-2008 14:04  2.5K  
 mesh-make-partition...> 13-Oct-2008 14:04  4.0K  
 partition-defuns.lisp   13-Oct-2008 14:04  2.3K  
 partitionp-make-part..> 13-Oct-2008 14:04  2.3K  
 partitionp-make-part..> 13-Oct-2008 14:04  2.4K  
 riemann-rcfn-helpers..> 13-Oct-2008 14:04  414   

To certify these books, simply execute make in a Unix shell.  Or, use the
dependencies in Makefile to certify individually.  If you desire clarification,
please write to Matt Kaufmann, kaufmann@cs.utexas.edu.  The solutions are
organized as follows.

 Exercises 6.1 - 6.4:  partition-defuns.lisp

 Exercise 6.5:         partitionp-make-partition.lisp

 Exercise 6.6:         mesh-make-partition.lisp.

 Exercise 6.7:         mesh-append.lisp

 Exercise 6.8:         riemann-rcfn-helpers.lisp