src/HOL/Library/Old_Datatype.thy
2017-04-19 wenzelm 2017-04-19 tuned imports;
2016-01-11 wenzelm 2016-01-11 eliminated old defs;
2015-12-28 wenzelm 2015-12-28 prefer symbols for "Union", "Inter";
2015-12-27 wenzelm 2015-12-27 discontinued ASCII replacement syntax <*>;
2015-11-05 wenzelm 2015-11-05 isabelle update_cartouches -c -t;
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-09-19 blanchet 2014-09-19 keep obsolete interpretations in Main, to avoid merge trouble
2014-09-18 blanchet 2014-09-18 moved old 'size' generator together with 'old_datatype'
2014-09-18 blanchet 2014-09-18 moved datatype realizer to 'old_datatype' and colleagues
2014-09-18 blanchet 2014-09-18 moved 'old_datatype' out of 'Main' (but put it in 'HOL-Proofs' because of the inductive realizer) * * * made example compile again