[acl2/acl2] 3f062d: Changed ttag used by verify-guards-program from t ...

[GitHub]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 3f062d7ce909e8ad74c0fe268749350094e8a072
https://github.com/acl2/acl2/commit/3f062d7ce909e8ad74c0fe268749350094e8a072
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2016-07-23 (Sat, 23 Jul 2016)

Changed paths:
M books/kestrel/system/verify-guards-program.lisp
M defthm.lisp
M doc.lisp
M rewrite.lisp
M type-set-b.lisp

Log Message:
-----------
Changed ttag used by verify-guards-program from t to :verify-guards-program. Replaced a few null tests by endp tests.

Thanks to Eric Smith for suggesting these changes. Plus, I put
assoc-equal-cdr into guard-verified :logic mode.

[GitHub]

Branch: refs/heads/testing