| 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 |
| Thu, 22 Oct 1998 20:15:26 +0200 | wenzelm | tuned block indent; | changeset | files |
| Thu, 22 Oct 1998 20:13:21 +0200 | wenzelm | current_goals_markers; | changeset | files |