isabelle: Changelog

blanchet [Tue, 04 Sep 2012 13:02:32 +0200] rev 49119

more work on FP sugar

blanchet [Tue, 04 Sep 2012 13:02:31 +0200] rev 49118

renamed theorem

blanchet [Tue, 04 Sep 2012 13:02:30 +0200] rev 49117

tuned TODO comment

blanchet [Tue, 04 Sep 2012 13:02:30 +0200] rev 49116

allow pseudo-definition of is_Cons in terms of is_Nil (and similarly for other two-constructor datatypes)

blanchet [Tue, 04 Sep 2012 13:02:29 +0200] rev 49115

removed oddities

blanchet [Tue, 04 Sep 2012 13:02:28 +0200] rev 49114

allow "*" to indicate no discriminator

blanchet [Tue, 04 Sep 2012 13:02:28 +0200] rev 49113

tuned TODOs

blanchet [Tue, 04 Sep 2012 13:02:26 +0200] rev 49112

started work on sugared "(co)data" commands

blanchet [Tue, 04 Sep 2012 13:02:25 +0200] rev 49111

export "wrap" function

traytel [Tue, 04 Sep 2012 12:12:03 +0200] rev 49110

eliminated obsolete "parallel_proofs = 0" restriction (cf. 0e5b859e1c91)

isabelle