[acl2/acl2] bd47d2: add bound-rewriter book

[GitHub]

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: bd47d2ba6f32357c6afe71b459178b22b2c0f26e
https://github.com/acl2/acl2/commit/bd47d2ba6f32357c6afe71b459178b22b2c0f26e
Author: Sol Swords <ssw...@centtech.com>
Date: 2015-09-27 (Sun, 27 Sep 2015)

Changed paths:
A books/centaur/misc/bound-rewriter.lisp

Log Message:
-----------
add bound-rewriter book


Commit: 499b2cc461c1a43e64a16f7115079afb9f33b96e
https://github.com/acl2/acl2/commit/499b2cc461c1a43e64a16f7115079afb9f33b96e
Author: Sol Swords <ssw...@centtech.com>
Date: 2015-10-06 (Tue, 06 Oct 2015)

Changed paths:
M books/centaur/misc/bound-rewriter.lisp
M books/clause-processors/sublis-var-meaning.lisp
M books/clause-processors/unify-subst.lisp

Log Message:
-----------
Add bound-rewriter book


Commit: b70303521af9bbf98b3b415b7cc53a7c63652ec4
https://github.com/acl2/acl2/commit/b70303521af9bbf98b3b415b7cc53a7c63652ec4
Author: Sol Swords <ssw...@centtech.com>
Date: 2015-10-06 (Tue, 06 Oct 2015)

Changed paths:
M acl2.lisp
M axioms.lisp
M basis-a.lisp
M books/GNUmakefile
M books/clause-processors/SULFA/README
M books/coi/defung/defung-defpkg.lsp
M books/coi/defung/defung-test.lisp
M books/coi/defung/defung.lisp
M books/coi/defung/map-ec-call.lisp
M books/coi/nary/cert.acl2
A books/coi/nary/nary-defpkg.lsp
A books/coi/nary/new.lisp
M books/coi/util/defun.lisp
M books/coi/util/mv-nth.lisp
M books/coi/util/pseudo-translate.lisp
M books/demos/proofs/tightness-lemma.lisp
M books/system/doc/acl2-doc.lisp
A books/workshops/2015/jain-manolios/support/memory-controller/cert.acl2
A books/workshops/2015/jain-manolios/support/memory-controller/mem-array-cap-2.lisp
A books/workshops/2015/jain-manolios/support/memory-controller/mem-array-cap-3.lisp
A books/workshops/2015/jain-manolios/support/stack-machine/buffered-stack-cap-2.lisp
A books/workshops/2015/jain-manolios/support/stack-machine/buffered-stack-cap-3.lisp
A books/workshops/2015/jain-manolios/support/stack-machine/cert.acl2
A books/workshops/2015/jain-manolios/support/vectorizing-transformation/cert.acl2
A books/workshops/2015/jain-manolios/support/vectorizing-transformation/data-struct.lisp
A books/workshops/2015/jain-manolios/support/vectorizing-transformation/op-semantics.lisp
A books/workshops/2015/jain-manolios/support/vectorizing-transformation/scalar-vector.lisp
M books/xdoc/top.lisp
M boot-strap-pass-2.lisp
M defpkgs.lisp
M doc.lisp
M history-management.lisp
M interface-raw.lisp
M other-events.lisp
M translate.lisp

Log Message:
-----------
Merge remote-tracking branch 'remotes/origin/master'


Compare: https://github.com/acl2/acl2/compare/e574e6e46e29...b70303521af9