changeset 56638 | 092a306bcc3d |
parent 56262 | 251f60be62a7 |
child 58315 | 6d8458bc6e27 |
--- a/src/HOL/Tools/BNF/bnf_lfp_util.ML Wed Apr 23 10:23:26 2014 +0200 +++ b/src/HOL/Tools/BNF/bnf_lfp_util.ML Wed Apr 23 10:23:26 2014 +0200 @@ -3,7 +3,7 @@ Author: Jasmin Blanchette, TU Muenchen Copyright 2012 -Library for the datatype construction. +Library for the new-style datatype construction. *) signature BNF_LFP_UTIL =