[acl2/acl2] bc9b5e: Misc. administrative cleanup in books/system/.

[GitHub]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: bc9b5e7bb9f995af7b87b250333e22398af3519d
https://github.com/acl2/acl2/commit/bc9b5e7bb9f995af7b87b250333e22398af3519d
Author: Matt Kaufmann <kauf...@Matts-MBP.attlocal.net>
Date: 2015-11-24 (Tue, 24 Nov 2015)

Changed paths:
M books/system/Readme.lsp
M books/system/cantor-pairing-bijective.lisp
R books/system/gather-dcls.lisp
M books/system/top.lisp
M books/system/verified-termination-and-guards.lisp

Log Message:
-----------
Misc. administrative cleanup in books/system/.

License/copyright update to cantor-pairing-bijective.lisp made with
permission from the author, Harsh Raju Chamarthi.

Movement of events from gather-dcls.lisp (now deleted) to
verified-termination-and-guards.lisp made with permission of
the author ofgather-dcls.lisp, David L. Rager.

[GitHub]

Branch: refs/heads/testing