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 |