Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOLCF/Tools/repdef.ML
changeset 39986 38677db30cad
parent 39974 b525988432e9
child 39989 ad60d7311f43 
--- a/src/HOLCF/Tools/repdef.ML	Thu Oct 07 13:54:43 2010 -0700
+++ b/src/HOLCF/Tools/repdef.ML	Fri Oct 08 07:39:50 2010 -0700
@@ -108,7 +108,7 @@
 
     (*instantiate class rep*)
     val lthy = thy
-      |> Class.instantiation ([full_tname], lhs_tfrees, @{sort sfp});
+      |> Class.instantiation ([full_tname], lhs_tfrees, @{sort bifinite});
     val ((_, (_, emb_ldef)), lthy) =
         Specification.definition (NONE, (emb_bind, emb_eqn)) lthy;
     val ((_, (_, prj_ldef)), lthy) =
isabelle