src/HOL/Tools/BNF/bnf_fp_n2m.ML
2014-01-20 blanchet 2014-01-20 adjusted comments
2014-01-20 blanchet 2014-01-20 avoid nested 'Tools' directories