1.1 --- a/src/Provers/trancl.ML Wed May 05 09:24:42 2010 +0200
1.2 +++ b/src/Provers/trancl.ML Wed May 05 18:25:34 2010 +0200
1.3 @@ -452,8 +452,8 @@
1.4
1.5 fun processTranclEdges [] = raise Cannot
1.6 | processTranclEdges (e::es) =
1.7 - if (upper e) mem Vx andalso (lower e) mem Vx
1.8 - andalso (upper e) mem Vy andalso (lower e) mem Vy
1.9 + if member (op =) Vx (upper e) andalso member (op =) Vx (lower e)
1.10 + andalso member (op =) Vy (upper e) andalso member (op =) Vy (lower e)
1.11 then (
1.12
1.13