Restricted a CCL patch to CCL Versions 1.10 and earlier.

Improved theory warnings as per feedback from David Hardin.

Fixed a typo.

Brought :doc guards-for-specification up to date with fix in
acl2-books, i.e., taking into account discussion with Rager in
acl2-books Issue 218.


git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1392 5d84a466-a78b-0930-a311-59b22171a541