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/thm.ML
changeset 4684 eb712fef644b
parent 4679 24917efb31b5
child 4713 bea2ab2e360b 
--- a/src/Pure/thm.ML	Fri Mar 06 15:58:16 1998 +0100
+++ b/src/Pure/thm.ML	Fri Mar 06 16:05:04 1998 +0100
@@ -1603,7 +1603,7 @@
   orelse
    is_Var (head_of lhs)
   orelse
-   (exists (apl (lhs, op Logic.occs)) (rhs :: prems))
+   (exists (apl (lhs, Logic.occs)) (rhs :: prems))
   orelse
    (null prems andalso
     Pattern.matches (#tsig (Sign.rep_sg sign)) (lhs, rhs))
isabelle