| Fri, 19 Aug 1994 15:38:50 +0200 | wenzelm | renamed 'defns' to 'defs'; | changeset | files |
| Fri, 19 Aug 1994 15:38:18 +0200 | wenzelm | added raw_term_sorts and changed typ_of_term accordingly (part of fix | changeset | files |
| Fri, 19 Aug 1994 15:37:46 +0200 | wenzelm | added type xrule (from sextension.ML); | changeset | files |