src/HOL/Tools/abel_cancel.ML
Mon, 19 Jul 2010 20:23:52 +0200 haftmann modernized abel_cancel simproc setup
Mon, 19 Jul 2010 16:09:43 +0200 haftmann discontinued pretending that abel_cancel is logic-independent; cleaned up junk
less more (0) tip