src/Provers/order.ML
Thu, 07 Jul 2005 19:01:04 +0200 obua 1) all theorems in Orderings can now be given as a parameter
Fri, 04 Mar 2005 15:07:34 +0100 skalberg Removed practically all references to Library.foldr.
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.
Tue, 03 Aug 2004 14:47:51 +0200 ballarin New transitivity reasoners for transitivity only and quasi orders.
Mon, 02 Aug 2004 10:16:40 +0200 ballarin Documentation added/improved.
Mon, 08 Mar 2004 12:17:43 +0100 ballarin Bug-fixes for transitivity reasoner.
Thu, 19 Feb 2004 15:57:34 +0100 ballarin Efficient, graph-based reasoner for linear and partial orders.
less more (0) tip