src/HOL/BNF_Examples/Compat.thy
Thu, 11 Sep 2014 18:54:36 +0200 blanchet renamed 'datatype' to 'old_datatype'; 'datatype' is now alias for 'datatype_new'
Mon, 08 Sep 2014 14:03:02 +0200 blanchet more examples/tests
Wed, 03 Sep 2014 00:06:22 +0200 blanchet giving up calling 'datatype_compat' in a locale -- causes trouble with extensions
Mon, 01 Sep 2014 19:28:00 +0200 blanchet drop hopeless feature -- unfolding of BNF datatype info without a prior 'datatype_compat'
Mon, 01 Sep 2014 16:17:47 +0200 blanchet more work on compatibility interfaces
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
less more (0) -10 -7 tip