Fixing a typo

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2334 303c5b2c-9740-0410-b014-fd8f9db7be32
Add book that defines a measure for traversing the VL module/instance hierarchy, and a generic book that provides a utility for defining such a measure for arbitrary DAGs

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2335 303c5b2c-9740-0410-b014-fd8f9db7be32
removed (unused) defopen from tools/theory-tools, added a better defopen in easy-simplify

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2336 303c5b2c-9740-0410-b014-fd8f9db7be32
Moved translators and quadratic-reciprocity to projects.  I haven't updated the projects documentation yet.  It seems that I've successfully run an everything build on these changes.

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