| Thu, 30 Sep 1993 10:54:01 +0100 | lcp | ex/{bin.ML,comb.ML,prop.ML}: replaced NewSext by Syntax.simple_sext | changeset | files |
| Thu, 30 Sep 1993 10:26:38 +0100 | lcp | ex/{bin.ML,comb.ML,prop.ML}: replaced NewSext by Syntax.simple_sext | changeset | files |
| Thu, 30 Sep 1993 10:10:21 +0100 | lcp | ex/{bin.ML,comb.ML,prop.ML}: replaced NewSext by Syntax.simple_sext | changeset | files |
| Fri, 24 Sep 1993 11:27:15 +0200 | lcp | Added example from Avron: Gentzen-Type Systems, Resolution and Tableaux, JAR 10 | changeset | files |
| Fri, 24 Sep 1993 11:13:55 +0200 | lcp | Added ex_ex1I: new introduction rule for the EX! quantifier. | changeset | files |
| Fri, 24 Sep 1993 10:52:55 +0200 | lcp | Added MRS, MRL from ZF/ROOT.ML. These support forward proof, resolving a | changeset | files |
| Tue, 21 Sep 1993 11:16:19 +0200 | lcp | This commit should not have been necessary. For some reason, the previous | changeset | files |