src/HOL/Tools/Datatype/datatype_case.ML
2011-04-16 wenzelm 2011-04-16 prefer local name spaces; tuned signatures; tuned;
2011-04-08 wenzelm 2011-04-08 discontinued special treatment of structure Lexicon;
2011-04-08 wenzelm 2011-04-08 explicit structure Syntax_Trans; discontinued old-style constrainAbsC;
2011-03-22 wenzelm 2011-03-22 more selective strip_positions in case patterns -- reactivate translations based on "case _ of _" in HOL and special patterns in HOLCF;
2011-03-22 wenzelm 2011-03-22 datatype case_tr: strip positions -- type constraints are unexpected despite the "any" category in "case_syn";
2011-03-22 wenzelm 2011-03-22 tuned indendation and parentheses;
2010-03-20 wenzelm 2010-03-20 renamed varify/unvarify operations to varify_global/unvarify_global to emphasize that these only work in a global situation;
2010-02-26 wenzelm 2010-02-26 gen_dest_case: recovered @{const_name} from c8a6fae0ad0c, because of separate Syntax.mark_const in case_tr' -- avoid extra syntax markers in output;
2010-02-25 wenzelm 2010-02-25 explicit @{type_syntax} markup;
2010-02-21 wenzelm 2010-02-21 slightly more abstract syntax mark/unmark operations;
2010-02-21 wenzelm 2010-02-21 adapted to authentic syntax;
2010-02-16 wenzelm 2010-02-16 refrain from using @{const_name} in syntax translations;
2010-02-14 wenzelm 2010-02-14 formal markup of constants;
2009-11-30 haftmann 2009-11-30 dropped some unused bindings
2009-11-30 haftmann 2009-11-30 modernized structures and tuned headers of datatype package modules; joined former datatype.ML and datatype_rep_proofs.ML
2009-10-21 haftmann 2009-10-21 removed old-style \ and \\ infixes
2009-10-15 wenzelm 2009-10-15 replaced String.concat by implode; replaced String.concatWith by space_implode; replaced (Seq.flat o Seq.map) by Seq.maps; replaced List.mapPartial by map_filter; replaced List.concat by flat; replaced (flat o map) by maps, which produces less garbage;
2009-10-08 haftmann 2009-10-08 lookup for datatype constructors considers type annotations to resolve overloading
2009-09-23 bulwahn 2009-09-23 adapted configuration for DatatypeCase.make_case
2009-07-17 wenzelm 2009-07-17 tuned/modernized Envir.subst_XXX;
2009-06-23 haftmann 2009-06-23 uniformly capitialized names for subdirectories