| 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 |
| 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 |
| Sat, 14 Apr 2007 17:36:18 +0200 | wenzelm | removed redundant string_of_vname (see term.ML); | changeset | files |
| Sat, 14 Apr 2007 17:36:17 +0200 | wenzelm | removed obsolete read_ctyp, read_def_cterm; | changeset | files |
| Sat, 14 Apr 2007 17:36:16 +0200 | wenzelm | tuned signature; | changeset | files |