| Tue, 21 Jun 1994 16:26:34 +0200 | lcp | Various updates and tidying | changeset | files |
| Tue, 21 Jun 1994 11:55:36 +0200 | nipkow | improved error msg | changeset | files |
| Mon, 20 Jun 1994 12:25:28 +0200 | nipkow | Improved error msg "Proved wrong thm" | changeset | files |
| Mon, 20 Jun 1994 12:13:08 +0200 | clasohm | parse.ML and scan.ML are now replaced by thy_parse.ML and thy_scan.ML | changeset | files |
| Mon, 20 Jun 1994 12:03:16 +0200 | nipkow | Franz Regensburger's changes. | changeset | files |
| Fri, 17 Jun 1994 17:49:03 +0200 | lcp | atomize: borrowed HOL version, which checks for both Trueprop | changeset | files |
| Fri, 17 Jun 1994 17:47:42 +0200 | lcp | problem 38 is provable | changeset | files |