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/Provers/trancl.ML
changeset 36692 54b64d4ad524
parent 35281 206e2f1759cc
child 37744 3daaf23b9ab4 
--- a/src/Provers/trancl.ML	Wed May 05 09:24:42 2010 +0200
+++ b/src/Provers/trancl.ML	Wed May 05 18:25:34 2010 +0200
@@ -452,8 +452,8 @@
 
    fun processTranclEdges [] = raise Cannot
    |   processTranclEdges (e::es) =
-          if (upper e) mem Vx andalso (lower e) mem Vx
-          andalso (upper e) mem Vy andalso (lower e) mem Vy
+          if member (op =) Vx (upper e) andalso member (op =) Vx (lower e)
+          andalso member (op =) Vy (upper e) andalso member (op =) Vy (lower e)
           then (
isabelle