| 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 |