| 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 |
| Sat, 14 Apr 2007 17:38:30 +0200 | wenzelm | tuned comment; | changeset | files |
| Sat, 14 Apr 2007 17:36:19 +0200 | wenzelm | cleaned/simplified Sign.read_typ, Thm.read_cterm etc.; | changeset | files |