William J. Bowman 572b66aac4 Added axioms; added test, but it's *slow*		2016-01-22 15:28:11 -05:00
..
cur/tests	Added axioms; added test, but it's *slow*	2016-01-22 15:28:11 -05:00
info.rkt	Split and reorganized package. Closes #14	2016-01-10 19:10:12 -05:00