Tue, 26 Oct 1999 14:35:45 +0200 | wenzelm | export kill_theory; | changeset | files |
Tue, 26 Oct 1999 14:35:10 +0200 | wenzelm | added kill_thy; | changeset | files |
Tue, 26 Oct 1999 14:34:50 +0200 | wenzelm | added opt_unit (from isar_syn.ML); | changeset | files |