src/HOL/Datatype_Examples/Misc_Datatype.thy
2014-09-26 desharna 2014-09-26 make 'case_transfer' tactic more robust
2014-09-22 desharna 2014-09-22 make 'set_induct0' tactic more robust w.r.t multiple arguments constructors
2014-09-13 blanchet 2014-09-13 imported patch phantoms
2014-09-12 desharna 2014-09-12 make 'ctr_transfer' tactic more robust
2014-09-11 blanchet 2014-09-11 updated news
2014-09-11 blanchet 2014-09-11 renamed 'BNF_Examples' to 'Datatype_Examples' (cf. 'datatypes.pdf')