Lines Matching defs:MEMBERP
6 (IMPLIES (IF (MEMBERP P (G ':STATES M))
11 (MEMBERP Q (G ':STATES M))))
13 (DEFTHM SUBSET-IMPLIES-MEMBERP
14 (IMPLIES (IF (SUBSET X Y) (MEMBERP A X) 'NIL)
15 (MEMBERP A Y)))
19 (MEMBERP S0 (G ':INITIAL-STATES M))
21 (MEMBERP S0 (G ':STATES M))))
23 (DEFTHM MEMBERP-SET-UNION
24 (EQUAL (MEMBERP A (SET-UNION X Y))
25 (IF (MEMBERP A X)
26 (MEMBERP A X)
27 (MEMBERP A Y))))
29 (DEFTHM MEMBERP-SET-INTERSECT
30 (EQUAL (MEMBERP A (SET-INTERSECT X Y))
31 (IF (MEMBERP A X) (MEMBERP A Y) 'NIL)))
33 (DEFTHM SUBSET-PRESERVES-MEMBERP
34 (IMPLIES (IF (SUBSET X Y) (MEMBERP A X) 'NIL)
35 (EQUAL (MEMBERP A Y) 'T)))
37 (DEFTHM SET-EQUAL-IMPLIES-EQUAL-MEMBERP
39 (EQUAL (EQUAL (MEMBERP A X) (MEMBERP A Y))
44 (EQUAL (MEMBERP A (SET-INTERSECT (LABEL-OF P M) VARS))
45 (MEMBERP A
49 (IMPLIES (IF (MEMBERP A VARS)
52 (EQUAL (MEMBERP A (LABEL-OF P M))
53 (MEMBERP A (LABEL-OF Q N)))))