Wed, 09 Sep 1998 17:21:33 +0200 | oheimb | AddSDs[override_SomeD]; | changeset | files |
Wed, 09 Sep 1998 17:19:26 +0200 | oheimb | changed constants mem and list_all to mere translations | changeset | files |
Wed, 09 Sep 1998 17:14:19 +0200 | oheimb | changed order of included theories | changeset | files |