| 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 |