src/HOL/Codatatype/Tools/bnf_fp_util.ML
changeset 49389 da621dc65146
parent 49368 df359ce891ac
child 49392 e1f325ab9503
     1.1 --- a/src/HOL/Codatatype/Tools/bnf_fp_util.ML	Sat Sep 15 20:14:29 2012 +0200
     1.2 +++ b/src/HOL/Codatatype/Tools/bnf_fp_util.ML	Sat Sep 15 21:10:26 2012 +0200
     1.3 @@ -2,7 +2,7 @@
     1.4      Author:     Dmitriy Traytel, TU Muenchen
     1.5      Copyright   2012
     1.6  
     1.7 -Shared library for the datatype and the codatatype construction.
     1.8 +Shared library for the datatype and codatatype constructions.
     1.9  *)
    1.10  
    1.11  signature BNF_FP_UTIL =