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 |
Tue, 27 Feb 1996 18:22:47 +0100 | nipkow | used qed_spec_mp. | changeset | files |
Tue, 27 Feb 1996 13:01:16 +0100 | clasohm | removed note about "IO exceptions" during HTML generation | changeset | files |
Thu, 22 Feb 1996 18:35:16 +0100 | nipkow | Added links to documentation | changeset | files |