src/HOL/Tools/abel_cancel.ML
2011-11-24 wenzelm 2011-11-24 modernized some old-style infix operations, which were left over from the time of ML proof scripts;
2011-11-11 huffman 2011-11-11 abel_cancel.ML: avoid canceling zeros, which would cause the simproc to return a trivial rewrite; add tests for abel_cancel simprocs
2010-08-25 wenzelm 2010-08-25 renamed Simplifier.simproc(_i) to Simplifier.simproc_global(_i) to emphasize that this is not the real thing;
2010-07-20 haftmann 2010-07-20 tuned
2010-07-20 haftmann 2010-07-20 accomodate for scope of "as" binding in ML
2010-07-20 haftmann 2010-07-20 tuned code
2010-07-19 haftmann 2010-07-19 modernized abel_cancel simproc setup
2010-07-19 haftmann 2010-07-19 discontinued pretending that abel_cancel is logic-independent; cleaned up junk