| Sat, 14 Apr 2007 17:36:16 +0200 | wenzelm | tuned signature; | changeset | files |
| Sat, 14 Apr 2007 17:36:14 +0200 | wenzelm | read_typ_XXX: no sorts; | changeset | files |
| Sat, 14 Apr 2007 17:36:10 +0200 | wenzelm | added read_def_cterms, read_cterm (from thm.ML); | changeset | files |
| Sat, 14 Apr 2007 17:36:09 +0200 | wenzelm | cleaned/simplified Sign.read_typ, Thm.read_cterm etc.; | changeset | files |
| 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 |