src/Provers/order.ML
Thu, 19 Feb 2004 15:57:34 +0100 Efficient, graph-based reasoner for linear and partial orders.