src/HOL/Tools/abel_cancel.ML
Tue, 20 Jul 2010 10:24:18 +0200 tuned code
Mon, 19 Jul 2010 20:23:52 +0200 modernized abel_cancel simproc setup
Mon, 19 Jul 2010 16:09:43 +0200 discontinued pretending that abel_cancel is logic-independent; cleaned up junk