src/HOL/BNF_Examples/Derivation_Trees/DTree.thy
2014-08-18 blanchet 2014-08-18 reordered some (co)datatype property names for more consistency
2014-03-06 blanchet 2014-03-06 renamed 'sum_rel' to 'rel_sum'
2014-03-06 blanchet 2014-03-06 renamed 'set_rel' to 'rel_set'
2014-03-06 blanchet 2014-03-06 renamed 'fset_rel' to 'rel_fset'
2014-03-06 blanchet 2014-03-06 renamed 'map_sum' to 'sum_map'
2014-03-03 blanchet 2014-03-03 adapted to absence of 'unfold'
2014-01-20 blanchet 2014-01-20 dissolved BNF session
2014-01-20 blanchet 2014-01-20 moved BNF examples