[acl2/acl2] 033c27: Add some miscellaneous theorems.

[GitHub]

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: 033c27df5dda424769f33a859b68739cdd3fbf09
https://github.com/acl2/acl2/commit/033c27df5dda424769f33a859b68739cdd3fbf09
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2016-07-30 (Sat, 30 Jul 2016)

Changed paths:
A books/kestrel/utilities/theorems/list-sets.lisp
A books/kestrel/utilities/theorems/top.lisp
A books/kestrel/utilities/theorems/true-list-listp.lisp
M books/kestrel/utilities/top.lisp

Log Message:
-----------
Add some miscellaneous theorems.

[GitHub]

Branch: refs/heads/master