| Thu, 30 Mar 2000 14:20:13 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 30 Mar 2000 14:20:01 +0200 | wenzelm | foldl_term_types: depend on term as well; | changeset | files |
| Thu, 30 Mar 2000 14:19:33 +0200 | wenzelm | read_def_cterms: use Sign.read_def_terms; | changeset | files |