check.txt
defs-eq.lisp
defs-out.lisp
lemmas-out.lisp