     "print_abbrevs"
     "print_antiquotations"
     "print_ast_translation"
-    "print_atp_rules"
     "print_attributes"
     "print_binds"
     "print_cases"

    "prf"
    "print_abbrevs"
    "print_antiquotations"
    "print_atp_rules"
    "print_attributes"
    "print_binds"
    "print_cases"

    "print_locale"
    "print_locales"
    "print_methods"
    "print_orders"
    "print_rules"
    "print_simpset"
