Lines Matching defs:implies
53 (implies (not (equal a b))
61 (implies (not (equal a b))
65 (defthm ordered-implies-unique
66 (implies (orderedp x)
72 (implies (and (orderedp x)
77 (implies (and (true-listp x)
83 (implies (and (orderedp x)
90 (implies (orderedp x)
94 (implies (orderedp x)
98 (implies (and (true-listp x)
103 (implies (and (orderedp x)
109 (implies (true-listp x)