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/Pure/type_infer.ML
changeset 40286 b928e3960446
parent 39296 e275d581a218
child 42143 786ccfffcd67 
--- a/src/Pure/type_infer.ML	Fri Oct 29 22:22:36 2010 +0200
+++ b/src/Pure/type_infer.ML	Fri Oct 29 22:54:54 2010 +0200
@@ -9,6 +9,7 @@
   val is_param: indexname -> bool
   val is_paramT: typ -> bool
   val param: int -> string * sort -> typ
+  val mk_param: int -> sort -> typ
   val anyT: sort -> typ
   val paramify_vars: typ -> typ
   val paramify_dummies: typ -> int -> typ * int
isabelle