Thu, 30 Mar 2000 14:19:33 +0200 | wenzelm | read_def_cterms: use Sign.read_def_terms; | changeset | files |
Thu, 30 Mar 2000 14:19:13 +0200 | wenzelm | read_def_terms (no certify yet); | changeset | files |
Thu, 30 Mar 2000 14:18:40 +0200 | wenzelm | export update_multi; | changeset | files |