0c4da1aef47757166486f7aa0b037ffa30b840cdEugen Kuksa(cl-text moduleElim

31804b96414c67cb550fbf38fde4622778046c6fEugen Kuksa

31804b96414c67cb550fbf38fde4622778046c6fEugen Kuksa(P x)

31804b96414c67cb550fbf38fde4622778046c6fEugen Kuksa

31804b96414c67cb550fbf38fde4622778046c6fEugen Kuksa(cl-module M (cl-excludes x y z) (forall (a b c) (and (P a) (Q b) (R c))))

0c4da1aef47757166486f7aa0b037ffa30b840cdEugen Kuksa

0c4da1aef47757166486f7aa0b037ffa30b840cdEugen Kuksa)