Thu, 12 Sep 1996 10:36:51 +0200 | paulson | Installed AddIffs, and some code from HOL.ML | changeset | files |
Thu, 12 Sep 1996 10:36:06 +0200 | paulson | Simplification and tidying of definitions | changeset | files |
Thu, 12 Sep 1996 10:35:11 +0200 | paulson | Now hologic.ML is loaded in HOL.ML | changeset | files |