[acl2/acl2] 2f72c9: Improve :DOC compound-recognizer

[GitHub]

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: 2f72c9fd5e18f8e45ccf15ee2ec764a2323ed807
https://github.com/acl2/acl2/commit/2f72c9fd5e18f8e45ccf15ee2ec764a2323ed807
Author: Keshav Kini <kesha...@oracle.com>
Date: 2017-08-17 (Thu, 17 Aug 2017)

Changed paths:
M books/system/doc/acl2-doc.lisp

Log Message:
-----------
Improve :DOC compound-recognizer

The explanatory material after the table of types and primitive
recognizing expressions has been a bit off since the creation of the
type set for `1` some time ago. Also, a restriction was referred to
as a weakening when in fact it is a strengthening, and I removed the
words "conjunction or", since a conjunction of primitive type
recognizers would just be false, which is an empty disjunction.


Commit: 44c9a249ec2fc05e572f1c0649b229049c6f2fa7
https://github.com/acl2/acl2/commit/44c9a249ec2fc05e572f1c0649b229049c6f2fa7
Author: MattKaufmann <kauf...@cs.utexas.edu>
Date: 2017-08-17 (Thu, 17 Aug 2017)

Changed paths:
M books/system/doc/acl2-doc.lisp

Log Message:
-----------
Merge pull request #764 from kini/doc-compound-recognizer

Improve :DOC compound-recognizer


Compare: https://github.com/acl2/acl2/compare/cb0af2364444...44c9a249ec2f

[GitHub]

Branch: refs/heads/master