Sun, 15 Apr 2007 14:31:47 +0200 | wenzelm | Thm.fold_terms; | changeset | files |
Sun, 15 Apr 2007 14:31:44 +0200 | wenzelm | replaced axioms/finalconsts by proper axiomatization; | changeset | files |
Sat, 14 Apr 2007 23:56:36 +0200 | wenzelm | simplified read_axm; | changeset | files |