src/HOL/Tools/group_cancel.ML
Sat, 05 Jul 2014 11:01:53 +0200 haftmann prefer ac_simps collections over separate name bindings for add and mult
Fri, 01 Nov 2013 18:51:14 +0100 haftmann more simplification rules on unary and binary minus
Mon, 06 Aug 2012 15:12:18 +0200 huffman modify group_cancel simprocs so that they can cancel multiple terms at once
Sat, 28 Jul 2012 07:26:37 +0200 huffman move exception handlers outside of let block
Fri, 27 Jul 2012 15:42:39 +0200 huffman replace abel_cancel simprocs with functionally equivalent, but simpler and faster ones
less more (0) tip