1.1 --- a/src/HOL/Codatatype/Tools/bnf_util.ML	Tue Sep 11 17:06:27 2012 +0200
     1.2 +++ b/src/HOL/Codatatype/Tools/bnf_util.ML	Tue Sep 11 17:09:39 2012 +0200
     1.3 @@ -2,7 +2,7 @@
     1.4      Author:     Dmitriy Traytel, TU Muenchen
     1.5      Copyright   2012
     1.6  
     1.7 -General library functions.
     1.8 +Library for bounded natural functors.
     1.9  *)
    1.10  
    1.11  signature BNF_UTIL =