src/HOL/BNF_Examples/Compat.thy
Mon, 01 Sep 2014 16:17:47 +0200 blanchet added compatibility examples/tests
Mon, 01 Sep 2014 16:17:46 +0200 blanchet renamed modules defining old datatypes, as a step towards having 'datatype_new' take 'datatype's place
Thu, 24 Jul 2014 00:24:00 +0200 blanchet tuning
Thu, 10 Apr 2014 11:34:55 +0200 traytel reintroduce example (cf. 39281b3e4fac)
Tue, 08 Apr 2014 18:48:10 +0200 blanchet commented out example that triggers a bug
Tue, 08 Apr 2014 18:16:47 +0200 blanchet allow arguments to 'datatype_compat' in disorder
Tue, 08 Apr 2014 18:06:21 +0200 blanchet added 'datatype_compat' examples/tests
less more (0) tip