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.
doc-src/Ref/undocumented.tex
changeset 4276 a770eae2cdb0
parent 3485 f27a30a18a17 
--- a/doc-src/Ref/undocumented.tex	Fri Nov 21 15:40:56 1997 +0100
+++ b/doc-src/Ref/undocumented.tex	Fri Nov 21 15:41:27 1997 +0100
@@ -228,7 +228,7 @@
 
 
 \beginprog
-unifiers: env * ((term*term)list) -> (env * (term*term)list) seq
+unifiers: env * ((term*term)list) -> (env * (term*term)list) Seq.seq
 \endprog
 This is the main unification function.
 Given an environment and a list of disagreement pairs,
@@ -237,7 +237,7 @@
 a list of flex-flex pairs (these are discussed below).
 
 \beginprog
-smash_unifiers: env * (term*term)list -> env seq
+smash_unifiers: env * (term*term)list -> env Seq.seq
 \endprog
 This unification function maps an environment and a list of disagreement
 pairs to a sequence of updated environments.  The function obliterates
isabelle