src/HOL/Tools/BNF/bnf_fp_n2m.ML
changeset 55061 a0adf838e2d1
parent 55060 3105434fb02f
child 55067 a452de24a877
     1.1 --- a/src/HOL/Tools/BNF/bnf_fp_n2m.ML	Mon Jan 20 18:24:56 2014 +0100
     1.2 +++ b/src/HOL/Tools/BNF/bnf_fp_n2m.ML	Mon Jan 20 18:24:56 2014 +0100
     1.3 @@ -1,4 +1,4 @@
     1.4 -(*  Title:      HOL/BNF/Tools/bnf_fp_n2m.ML
     1.5 +(*  Title:      HOL/Tools/BNF/bnf_fp_n2m.ML
     1.6      Author:     Dmitriy Traytel, TU Muenchen
     1.7      Copyright   2013
     1.8