| Fri, 23 Oct 1998 12:57:44 +0200 | berghofe | Added new theory ABexp, removed obsolete theory Simult. | changeset | files |
| Fri, 23 Oct 1998 12:56:13 +0200 | berghofe | Terms are now defined using the new datatype package. | changeset | files |
| Fri, 23 Oct 1998 12:55:36 +0200 | berghofe | New example for using the datatype package: | changeset | files |
| Fri, 23 Oct 1998 12:54:37 +0200 | berghofe | Removed obsolete theory Simult (see theory Term). | changeset | files |
| Fri, 23 Oct 1998 12:31:23 +0200 | wenzelm | started to add records; | changeset | files |
| Fri, 23 Oct 1998 11:03:35 +0200 | paulson | occurs check now handles Bound variables (for soundness) | changeset | files |
| Fri, 23 Oct 1998 10:38:20 +0200 | wenzelm | updated by isatool logo; | changeset | files |