#0Y UTF-8 (SYSTEM::C-PROCLAIM '(COMMON-LISP::SPECIAL COMMON-LISP-USER::**UNIFY-SUBST**)) (SYSTEM::C-PROCLAIM '(COMMON-LISP::SPECIAL COMMON-LISP-USER::**TEMP-TEMP**)) (SYSTEM::C-DEFUN 'COMMON-LISP-USER::ADD-LEMMA (SYSTEM::LAMBDA-LIST-TO-SIGNATURE '(COMMON-LISP-USER::TERM))) (SYSTEM::C-DEFUN 'COMMON-LISP-USER::ADD-LEMMA-LST (SYSTEM::LAMBDA-LIST-TO-SIGNATURE '(COMMON-LISP-USER::LST))) (SYSTEM::C-DEFUN 'COMMON-LISP-USER::APPLY-SUBST (SYSTEM::LAMBDA-LIST-TO-SIGNATURE '(COMMON-LISP-USER::ALIST COMMON-LISP-USER::TERM))) (SYSTEM::C-DEFUN 'COMMON-LISP-USER::APPLY-SUBST-LST (SYSTEM::LAMBDA-LIST-TO-SIGNATURE '(COMMON-LISP-USER::ALIST COMMON-LISP-USER::LST))) (SYSTEM::C-DEFUN 'COMMON-LISP-USER::FALSEP (SYSTEM::LAMBDA-LIST-TO-SIGNATURE '(COMMON-LISP-USER::X COMMON-LISP-USER::LST))) (SYSTEM::C-DEFUN 'COMMON-LISP-USER::ONE-WAY-UNIFY (SYSTEM::LAMBDA-LIST-TO-SIGNATURE '(COMMON-LISP-USER::TERM1 COMMON-LISP-USER::TERM2))) (SYSTEM::C-DEFUN 'COMMON-LISP-USER::ONE-WAY-UNIFY1 (SYSTEM::LAMBDA-LIST-TO-SIGNATURE '(COMMON-LISP-USER::TERM1 COMMON-LISP-USER::TERM2))) (SYSTEM::C-DEFUN 'COMMON-LISP-USER::ONE-WAY-UNIFY1-&LST (SYSTEM::LAMBDA-LIST-TO-SIGNATURE '(COMMON-LISP-USER::LST1 COMMON-LISP-USER::LST2))) (SYSTEM::C-DEFUN 'COMMON-LISP-USER::REWRITE (SYSTEM::LAMBDA-LIST-TO-SIGNATURE '(COMMON-LISP-USER::TERM))) (SYSTEM::C-DEFUN 'COMMON-LISP-USER::REWRITE-ARGS (SYSTEM::LAMBDA-LIST-TO-SIGNATURE '(COMMON-LISP-USER::LST))) (SYSTEM::C-DEFUN 'COMMON-LISP-USER::REWRITE-WITH-LEMMAS (SYSTEM::LAMBDA-LIST-TO-SIGNATURE '(COMMON-LISP-USER::TERM COMMON-LISP-USER::LST))) (SYSTEM::C-DEFUN 'COMMON-LISP-USER::BOYER-SETUP (SYSTEM::LAMBDA-LIST-TO-SIGNATURE 'COMMON-LISP::NIL)) (SYSTEM::C-DEFUN 'COMMON-LISP-USER::TAUTOLOGYP (SYSTEM::LAMBDA-LIST-TO-SIGNATURE '(COMMON-LISP-USER::X COMMON-LISP-USER::TRUE-LST COMMON-LISP-USER::FALSE-LST))) (SYSTEM::C-DEFUN 'COMMON-LISP-USER::TAUTP (SYSTEM::LAMBDA-LIST-TO-SIGNATURE '(COMMON-LISP-USER::X))) (SYSTEM::C-DEFUN 'COMMON-LISP-USER::BOYER-TEST (SYSTEM::LAMBDA-LIST-TO-SIGNATURE 'COMMON-LISP::NIL)) (SYSTEM::C-DEFUN 'COMMON-LISP-USER::TRUEP (SYSTEM::LAMBDA-LIST-TO-SIGNATURE '(COMMON-LISP-USER::X COMMON-LISP-USER::LST))) (SYSTEM::C-PROCLAIM '(COMMON-LISP::SPECIAL COMMON-LISP-USER::SETUP-PERFORMED-P)) (SYSTEM::C-DEFUN 'COMMON-LISP-USER::TESTBOYER (SYSTEM::LAMBDA-LIST-TO-SIGNATURE 'COMMON-LISP::NIL))