src/HOL/BNF_Greatest_Fixpoint.thy
2014-09-01 blanchet 2014-09-01 renamed BNF theories