src/HOL/BNF_Least_Fixpoint.thy
2014-09-04 blanchet 2014-09-04 tweaked setup for datatype realizer
2014-09-04 blanchet 2014-09-04 tuned size function generation
2014-09-03 blanchet 2014-09-03 tuning
2014-09-03 blanchet 2014-09-03 more compatibility functions
2014-09-02 blanchet 2014-09-02 tuning
2014-09-01 blanchet 2014-09-01 renamed BNF theories