Branch: refs/heads/master
Home:
https://github.com/acl2/acl2
Commit: ca0966f26e3f4f0563d32b20e39f20e77212b1fe
https://github.com/acl2/acl2/commit/ca0966f26e3f4f0563d32b20e39f20e77212b1fe
Author: Matt Kaufmann <
kauf...@cs.utexas.edu>
Date: 2015-11-13 (Fri, 13 Nov 2015)
Changed paths:
A books/projects/quadratic-reciprocity/LICENSE
A books/projects/quadratic-reciprocity/README
R books/projects/quadratic-reciprocity/Readme.lsp
M books/projects/quadratic-reciprocity/eisenstein.lisp
M books/projects/quadratic-reciprocity/euclid.lisp
M books/projects/quadratic-reciprocity/euler.lisp
M books/projects/quadratic-reciprocity/fermat.lisp
M books/projects/quadratic-reciprocity/gauss.lisp
M books/projects/quadratic-reciprocity/mersenne.lisp
A books/projects/quadratic-reciprocity/pratt.lisp
A books/projects/quadratic-reciprocity/support/eisenstein.lisp
A books/projects/quadratic-reciprocity/support/euclid.lisp
A books/projects/quadratic-reciprocity/support/euler.lisp
A books/projects/quadratic-reciprocity/support/fermat.lisp
A books/projects/quadratic-reciprocity/support/gauss.lisp
A books/projects/quadratic-reciprocity/support/mersenne.lisp
A books/projects/quadratic-reciprocity/support/pratt.lisp
A books/projects/shnf/LICENSE
A books/projects/shnf/support.lisp
A books/projects/shnf/top.lisp
Log Message:
-----------
At the request of David Russinoff, updated books/projects/quadratic-reciprocity/ and added books/projects/shnf/.