src/HOL/Tools/group_cancel.ML
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