Contents of this directory:

README			This file
abs.lisp		Theorems about absolute value
binomial.lisp		A proof of the binomial theorem
certify.lsp		(ld "certify.lsp") to certify books in this directory
equalities.lisp		Arithmetic equality rules
factorial.lisp		Theorems about the factorial function
idiv.lisp		Theorems about integer division and related functions
inequalities.lisp	Arithmetic inequality rules
rational-listp.lisp	Very short book about lists of rationals
rationals-with-axioms-proved.lisp	Supersedes rationals-with-axioms.lis
sumlist.lisp		Theorems about sum of a list of numbers
top.lisp		Putting it all together
top-with-meta.lisp      Extension of top.lisp by the books in ../meta

Many people contributed to these books, especially

  Bishop Brock
  John Cowles
  Matt Kaufmann  
  Art Flatau
  Ruben Gamboa
