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 |