src/HOL/Codatatype/BNF_Wrap.thy
2012-09-12 blanchet 2012-09-12 moved theorems closer to where they are used
2012-09-12 blanchet 2012-09-12 split basic BNFs into really basic ones and others, and added Andreas Lochbihler's "option" BNF
2012-09-11 blanchet 2012-09-11 added "defaults" option
2012-09-11 blanchet 2012-09-11 move "bnf_util.ML" to "BNF_Util.thy"
2012-09-11 blanchet 2012-09-11 added no_dests option
2012-09-03 blanchet 2012-09-03 rearrange dependencies