Lines Matching defs:MEMBERP
5 (DEFUN MEMBERP (A X)
9 (MEMBERP A (CDR X)))
38 (IF (NOT (MEMBERP (CAR X) (CDR X)))
42 (DEFTHM MEMBERP-INSERT-SAME (EQUAL (MEMBERP A (INSERT A X)) 'T))
44 (DEFTHM MEMBERP-INSERT-DIFF
46 (EQUAL (MEMBERP A (INSERT B X))
47 (MEMBERP A X))))
49 (DEFTHM MEMBERP-DROP-SAME (EQUAL (MEMBERP A (DROP A X)) 'NIL))
51 (DEFTHM MEMBERP-DROP-DIFF
53 (EQUAL (MEMBERP A (DROP B X))
54 (MEMBERP A X))))
58 (DEFTHM MEMBERP-YES-REDUCE-INSERT
59 (IMPLIES (IF (ORDEREDP X) (MEMBERP A X) 'NIL)
62 (DEFTHM MEMBERP-NO-REDUCE-DROP
64 (NOT (MEMBERP A X))
78 (NOT (MEMBERP A X))
84 (IF (TRUE-LISTP X) (MEMBERP A X) 'NIL)