Executed in projects/defrstobj/: svn propset -R svn:ignore -F /projects/acl2/devel/books/unversioned-files.txt .

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2263 303c5b2c-9740-0410-b014-fd8f9db7be32
boothmul example: do the decomposition proof via rewriting instead of GL, using a specialized theory developed in esim/stv/stv-decomp-proofs.lisp

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2264 303c5b2c-9740-0410-b014-fd8f9db7be32