changeset 31023 | d027411c9a38 |
parent 30919 | dcf8a7a66bd1 |
child 33245 | 65232054ffd0 |
--- a/src/HOLCF/Tools/cont_consts.ML Wed Apr 29 21:10:46 2009 +0200 +++ b/src/HOLCF/Tools/cont_consts.ML Wed Apr 29 13:36:29 2009 -0700 @@ -12,7 +12,7 @@ val add_consts_i: (binding * typ * mixfix) list -> theory -> theory end; -structure ContConsts: CONT_CONSTS = +structure ContConsts :> CONT_CONSTS = struct