src/HOL/BNF_Examples/Misc_Datatype.thy
2014-01-24 blanchet 2014-01-24 killed 'More_BNFs' by moving its various bits where they (now) belong
2014-01-20 blanchet 2014-01-20 compile
2014-01-20 blanchet 2014-01-20 dissolved BNF session
2014-01-20 blanchet 2014-01-20 moved BNF examples