src/HOL/Tools/BNF/Tools/bnf_gfp_rec_sugar.ML
2014-01-20 blanchet 2014-01-20 moved BNF files to 'HOL'