Thu, 21 Oct 1999 15:57:26 +0200 | wenzelm | added \ISS; | changeset | files |
Wed, 20 Oct 1999 15:53:22 +0200 | wenzelm | eliminated isar_action; | changeset | files |
Wed, 20 Oct 1999 15:50:51 +0200 | wenzelm | remove_thy: warn unknown theory (rather than error); | changeset | files |