modtest.clf revision 31804b96414c67cb550fbf38fde4622778046c6f
31804b96414c67cb550fbf38fde4622778046c6fEugen 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))))