| Tue, 06 Jul 1999 21:06:03 +0200 | wenzelm | improved errors; | changeset | files |
| Tue, 06 Jul 1999 21:04:37 +0200 | wenzelm | removed nesting (unused); | changeset | files |
| Tue, 06 Jul 1999 21:03:57 +0200 | wenzelm | export term_of_typ; | changeset | files |
| Tue, 06 Jul 1999 21:03:34 +0200 | wenzelm | begin_theory: disallow finished; | changeset | files |
| Tue, 06 Jul 1999 21:03:03 +0200 | wenzelm | added clear_mss; | changeset | files |
| Mon, 05 Jul 1999 09:52:25 +0200 | wenzelm | variant version; | changeset | files |