| Wed, 17 Mar 1999 13:49:14 +0100 | wenzelm | actually check non-emptiness theorem; | changeset | files |
| Wed, 17 Mar 1999 13:47:34 +0100 | wenzelm | fixed typedef representing set; | changeset | files |
| Wed, 17 Mar 1999 13:47:04 +0100 | wenzelm | adapted rep_datatype; | changeset | files |
| Wed, 17 Mar 1999 13:46:23 +0100 | wenzelm | added dest_mem; | changeset | files |
| Wed, 17 Mar 1999 13:44:43 +0100 | wenzelm | theory data; | changeset | files |
| Wed, 17 Mar 1999 13:42:42 +0100 | wenzelm | adapted AxClass.add_axclass; | changeset | files |
| Wed, 17 Mar 1999 13:41:50 +0100 | wenzelm | tuned msgs; | changeset | files |
| Wed, 17 Mar 1999 13:41:14 +0100 | wenzelm | tuned; | changeset | files |