Fri, 01 Mar 1996 10:17:37 +0100 | paulson | Theories are now in theory.ML | changeset | files |
Thu, 29 Feb 1996 18:54:46 +0100 | paulson | Includes theory.ML in list of dependencies | changeset | files |
Thu, 29 Feb 1996 18:53:34 +0100 | paulson | New file of just the theory primitives | changeset | files |
Wed, 28 Feb 1996 16:57:14 +0100 | nipkow | modified priorities in syntax | changeset | files |
Wed, 28 Feb 1996 11:47:30 +0100 | paulson | imp_elim and swap are now stored in thm database | changeset | files |
Wed, 28 Feb 1996 11:46:08 +0100 | paulson | changed prove_goal to qed_goal | changeset | files |
Tue, 27 Feb 1996 19:08:36 +0100 | nipkow | Added documentation | changeset | files |