| 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 |
| Sat, 14 Apr 2007 17:36:01 +0200 | wenzelm | do not enable Toplevel.debug globally; | changeset | files |