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.
TFL/usyntax.sig
changeset 3713 8a1f7d5b1eff
parent 3405 2cccd0e3e9ea 
--- a/TFL/usyntax.sig	Thu Sep 25 12:24:53 1997 +0200
+++ b/TFL/usyntax.sig	Thu Sep 25 12:25:29 1997 +0200
@@ -76,7 +76,6 @@
   val list_mk_imp    : (term list * term) -> term
   val list_mk_forall : (term list * term) -> term
   val list_mk_conj   : term list -> term
-  val list_mk_disj   : term list -> term
 
   (* Destructing a term to a list of Preterms *)
   val strip_comb     : term -> (term * term list)
isabelle