Lines Matching +refs:NEXT +refs:STATES +refs:IN +refs:STATES
8 (mkpair (mksym "COMMON-LISP" "DEFUN") (mkpair (mksym "M1" "NEXT-INST") (
232 "M1" "DO-INST") (mkpair (mkpair (mksym "M1" "NEXT-INST") (mkpair (mksym "M1"
576 "COLLECT-VARS-IN-EXPR") (mkpair (mkpair (mksym "M1" "VARS") (mkpair (mksym
584 "COMMON-LISP" "NIL"))))) (mkpair (mkpair (mksym "M1" "COLLECT-VARS-IN-EXPR") (
585 mkpair (mkpair (mksym "M1" "COLLECT-VARS-IN-EXPR") (mkpair (mksym "M1" "VARS") (
597 "COMMON-LISP" "DEFUN") (mkpair (mksym "M1" "COLLECT-VARS-IN-STMT*") (mkpair (
602 "M1" "COLLECT-VARS-IN-STMT*") (mkpair (mkpair (mksym "M1"
603 "COLLECT-VARS-IN-STMT") (mkpair (mksym "M1" "VARS") (mkpair (mkpair (mksym
609 "COLLECT-VARS-IN-STMT") (mkpair (mkpair (mksym "M1" "VARS") (mkpair (mksym
617 "COLLECT-VARS-IN-EXPR") (mkpair (mkpair (mksym "M1" "COLLECT-AT-END") (mkpair (
630 mkpair (mkpair (mksym "M1" "COLLECT-VARS-IN-STMT*") (mkpair (mkpair (mksym
631 "M1" "COLLECT-VARS-IN-EXPR") (mkpair (mksym "M1" "VARS") (mkpair (mkpair (
643 mkpair (mkpair (mksym "M1" "COLLECT-VARS-IN-EXPR") (mkpair (mksym "M1" "VARS") (
894 mksym "M1" "COLLECT-VARS-IN-STMT*") (mkpair (mksym "M1" "FORMALS") (mkpair (
1081 (mkpair (mksym "ACL2" "DEFTHM") (mkpair (mksym "M1" "STATES") (mkpair (mkpair (
1149 mkpair (mkpair (mksym "M1" "NEXT-INST") (mkpair (mksym "M1" "S") (mksym
1153 mkpair (mkpair (mksym "M1" "NEXT-INST") (mkpair (mksym "M1" "S") (mksym
1813 "INTERN-IN-PACKAGE-OF-SYMBOL") (mkpair (mkpair (mksym "COMMON-LISP" "COERCE") (