modtest.clf revision 0c4da1aef47757166486f7aa0b037ffa30b840cd
0c4da1aef47757166486f7aa0b037ffa30b840cdEugen Kuksa(cl-text moduleElim
31804b96414c67cb550fbf38fde4622778046c6fEugen Kuksa(cl-module M (cl-excludes x y z) (forall (a b c) (and (P a) (Q b) (R c))))