src/Provers/quasi.ML
2007-04-04 wenzelm 2007-04-04 removed obsolete sign_of/sign_of_thm;
2006-03-11 wenzelm 2006-03-11 got rid of type Sign.sg;
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-08-03 ballarin 2004-08-03 New transitivity reasoners for transitivity only and quasi orders.