src/HOL/Datatype_Examples/Derivation_Trees/Gram_Lang.thy
2015-10-13 haftmann 2015-10-13 prod_case as canonical name for product type eliminator
2015-06-26 wenzelm 2015-06-26 tuned whitespace;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-09-11 blanchet 2014-09-11 renamed 'BNF_Examples' to 'Datatype_Examples' (cf. 'datatypes.pdf')