src/HOL/BNF/Examples/Derivation_Trees/DTree.thy
2014-01-20 blanchet 2014-01-20 tuning
2013-12-02 blanchet 2013-12-02 killed obsolete artifact
2013-11-20 blanchet 2013-11-20 compile
2013-10-01 traytel 2013-10-01 base the fset bnf on the new FSet theory
2013-08-13 kuncar 2013-08-13 remove unnecessary dependencies on Library/Quotient_*
2013-06-07 blanchet 2013-06-07 adapted example (cf. 78a3d5006cf1)
2013-04-29 blanchet 2013-04-29 renamed BNF "(co)data" commands to names that are closer to their final names
2013-03-13 traytel 2013-03-13 BNF uses fset defined via Lifting/Transfer rather than Quotient
2012-12-14 wenzelm 2012-12-14 updated some headers;
2012-10-16 traytel 2012-10-16 tuned for document output
2012-10-16 traytel 2012-10-16 tuned whitespace
2012-10-16 popescua 2012-10-16 ported HOL/BNF/Examples/Derivation_Trees to the latest status of the codatatype package