Theorems about pseudo-event-formp.
Theorem: booleanp-of-pseudo-event-formp
(defthm booleanp-of-pseudo-event-formp (booleanp (pseudo-event-formp x)))
Theorem: pseudo-event-formp-of-cons
(defthm pseudo-event-formp-of-cons (equal (pseudo-event-formp (cons a b)) (and (symbolp a) (true-listp b))))
