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/pattern.ML
changeset 52127 a40dfe02dd83
parent 51700 c8f2bad67dbb
child 52129 3fd0fe916097 
--- a/src/Pure/pattern.ML	Fri May 24 14:00:10 2013 +0200
+++ b/src/Pure/pattern.ML	Fri May 24 14:31:44 2013 +0200
@@ -24,6 +24,7 @@
   val matchess: theory -> term list * term list -> bool
   val equiv: theory -> term * term -> bool
   val matches_subterm: theory -> term * term -> bool
+  val unify_types: theory -> typ * typ -> Envir.env -> Envir.env
   val unify: theory -> term * term -> Envir.env -> Envir.env
   val first_order: term -> bool
   val pattern: term -> bool
isabelle