| changeset 31023 | d027411c9a38 |
| parent 30912 | 4022298c1a86 |
| child 31095 | b79d140f6d0b |
--- a/src/HOLCF/Tools/fixrec_package.ML Wed Apr 29 21:10:46 2009 +0200 +++ b/src/HOLCF/Tools/fixrec_package.ML Wed Apr 29 13:36:29 2009 -0700 @@ -16,7 +16,7 @@ val setup: theory -> theory end; -structure FixrecPackage: FIXREC_PACKAGE = +structure FixrecPackage :> FIXREC_PACKAGE = struct val fix_eq2 = @{thm fix_eq2};