src/Provers/trancl.ML
Thu, 03 Mar 2005 12:43:01 +0100 skalberg Move towards standard functions.
Sun, 13 Feb 2005 17:15:14 +0100 skalberg Deleted Library.option type.
Mon, 02 Aug 2004 10:16:40 +0200 ballarin Documentation added/improved.
Tue, 27 Jul 2004 15:39:59 +0200 ballarin *** empty log message ***
Mon, 26 Jul 2004 15:48:50 +0200 ballarin New prover for transitive and reflexive-transitive closure of relations.
less more (0) tip