Mercurial Mercurial > hg > nominal2 / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
mem => member
authorCezary Kaliszyk <kaliszyk@in.tum.de>
Thu, 06 May 2010 14:14:30 +0200
changeset 2076 6cb1a4639521
parent 2075 c1edd05f207f
child 2077 85826b52fd9d
child 2092 c0ab7451b20d
mem => member
Nominal/NewParser.thy file | annotate | diff | comparison | revisions 
--- a/Nominal/NewParser.thy	Thu May 06 14:13:45 2010 +0200
+++ b/Nominal/NewParser.thy	Thu May 06 14:14:30 2010 +0200
@@ -672,9 +672,9 @@
 fun included i bcs = 
 let
   fun incl (BEmy j) = i = j
-    | incl (BLst (bns, bds)) = (i mem (map snd bns)) orelse (i mem bds) 
-    | incl (BSet (bns, bds)) = (i mem (map snd bns)) orelse (i mem bds) 
-    | incl (BRes (bns, bds)) = (i mem (map snd bns)) orelse (i mem bds) 
+    | incl (BLst (bns, bds)) = (member (op =) (map snd bns) i) orelse (member (op =) bds i)
+    | incl (BSet (bns, bds)) = (member (op =) (map snd bns) i) orelse (member (op =) bds i)
+    | incl (BRes (bns, bds)) = (member (op =) (map snd bns) i) orelse (member (op =) bds i)
 in
   exists incl bcs 
 end
nominal2