round-trip/gold/axioms.sml

3346 "PACKAGE-USED-BY-LIST") (mkpair (mksym "COMMON-LISP" "NOTINLINE") (mkpair (
4942 mkpair (mksym "ACL2" "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-ERP") (mkpair (mksym
4943 "ACL2" "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-VAL") (mkpair (mksym "ACL2" "STATE") (
4950 "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-VAL") (mksym "COMMON-LISP" "NIL"))) (mksym
4956 "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-ERP") (mksym "COMMON-LISP" "NIL"))) (
4959 "ACL2" "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-ERP") (mkpair (mksym "ACL2"
4960 "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-VAL") (mkpair (mksym "ACL2" "STATE") (
4966 mkpair (mksym "ACL2" "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-ERP") (mkpair (mksym
4967 "ACL2" "ER-PROGN-NOT-TO-BE-USED-ELSEWHERE-VAL") (mksym "COMMON-LISP" "NIL"))) (