src/Provers/Arith/abel_cancel.ML
2000-05-30 wenzelm 2000-05-30 global timing flag;
1999-09-23 paulson 1999-09-23 The restrict_to_left rule fixes some bugs
1999-03-17 wenzelm 1999-03-17 Theory.sign_of;
1998-10-22 wenzelm 1998-10-22 eliminated 'let ... in structure ...' to make SML/NJ 0.93 happy;
1998-10-05 paulson 1998-10-05 simpler interface for Abel_Cancel
1998-10-01 paulson 1998-10-01 new simproc functor