[acl2/acl2] 799c71: Adding reference example to best practices.

[GitHub]

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: 799c71ffaaa8f85d977ba2004db21dd765f6f641
https://github.com/acl2/acl2/commit/799c71ffaaa8f85d977ba2004db21dd765f6f641
Author: David L. Rager <rag...@gmail.com>
Date: 2015-11-11 (Wed, 11 Nov 2015)

Changed paths:
M books/doc/practices.lisp

Log Message:
-----------
Adding reference example to best practices.

Too hard to remember without looking up.

Indeed, case (2) is just a subset of case (1).

[GitHub]

Branch: refs/heads/master