Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
opaque signature constraint abstracts local type abbrev;
authorwenzelm
Sun, 07 Sep 2008 22:20:08 +0200
changeset 28159 80823c582b9d
parent 28158 96cbf4afdc7d
child 28160 e0177b67ecd9
opaque signature constraint abstracts local type abbrev;
src/Pure/General/susp.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/susp.ML	Sun Sep 07 22:19:58 2008 +0200
+++ b/src/Pure/General/susp.ML	Sun Sep 07 22:20:08 2008 +0200
@@ -15,7 +15,7 @@
   val same: 'a T * 'a T -> bool
 end
 
-structure Susp : SUSP =
+structure Susp :> SUSP =
 struct
 
 datatype 'a susp =
isabelle