isabelle: Changelog

blanchet [Mon, 12 Aug 2013 15:25:17 +0200] rev 52969

clarified option name (since case/fold/rec are also destructors)

blanchet [Mon, 12 Aug 2013 15:25:17 +0200] rev 52968

define case constant from other 'free constructor' axioms

blanchet [Mon, 12 Aug 2013 15:25:16 +0200] rev 52967

introduced case tactics

blanchet [Mon, 12 Aug 2013 15:25:16 +0200] rev 52966

tuning

blanchet [Mon, 12 Aug 2013 09:51:00 +0200] rev 52965

handle both TVars and TFrees -- necessary for 'wrap_free_constructors'

blanchet [Mon, 12 Aug 2013 09:38:42 +0200] rev 52964

qualify map and rel names

blanchet [Mon, 12 Aug 2013 09:08:42 +0200] rev 52963

reverted ill-advised naming scheme of 5a77edcdbe54

blanchet [Sun, 11 Aug 2013 23:35:59 +0200] rev 52962

made (hopefully temporary) hack more robust

blanchet [Sun, 11 Aug 2013 23:35:59 +0200] rev 52961

added warning

blanchet [Sun, 11 Aug 2013 23:35:59 +0200] rev 52960

gracefully handle one more error condition

isabelle