| Sat, 14 Apr 2007 17:36:07 +0200 | wenzelm | cleaned/simplified Sign.read_typ, Thm.read_cterm etc.; | changeset | files |
| Sat, 14 Apr 2007 17:36:06 +0200 | wenzelm | removed Pure/Syntax/ROOT.ML; | changeset | files |
| Sat, 14 Apr 2007 17:36:05 +0200 | wenzelm | Term.string_of_vname; | changeset | files |
| Sat, 14 Apr 2007 17:36:03 +0200 | wenzelm | Theory.inferT_axm; | changeset | files |