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.
make signature constraint actually work;
authorwenzelm
Thu, 29 Sep 2005 01:12:16 +0200
changeset 17712 46c2091e5187
parent 17711 c16cbe73798c
child 17713 7efbe0ec9d4c
make signature constraint actually work;
src/Pure/defs.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/defs.ML	Thu Sep 29 01:09:39 2005 +0200
+++ b/src/Pure/defs.ML	Thu Sep 29 01:12:16 2005 +0200
@@ -10,7 +10,7 @@
 sig
   type T
   val monomorphic: T -> string -> bool
-  val define: string -> string * typ -> (string * typ) list -> T -> T
+  val define: (string -> typ) -> string -> string * typ -> (string * typ) list -> T -> T
   val empty: T
   val merge: Pretty.pp -> T * T -> T
 end
isabelle