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 |
Wed, 09 Sep 1998 16:43:14 +0200 | oheimb | added Id_apply | changeset | files |
Wed, 09 Sep 1998 16:42:45 +0200 | oheimb | removed superfluous AddIs thms (were already in) | changeset | files |
Wed, 09 Sep 1998 16:21:08 +0200 | oheimb | renamed sswhen to sscase | changeset | files |
Wed, 09 Sep 1998 16:13:35 +0200 | oheimb | simplified definition of axclass cpo | changeset | files |