isar-keywords-prove.el
changeset 663 0dd10a900cae
parent 233 fcff14e578d3
child 705 f51c6069cd17
equal deleted inserted replaced
657:2d9de77d5687 663:0dd10a900cae
   171     "print_interps"
   171     "print_interps"
   172     "print_locale"
   172     "print_locale"
   173     "print_locales"
   173     "print_locales"
   174     "print_methods"
   174     "print_methods"
   175     "print_orders"
   175     "print_orders"
       
   176     "print_quotconsts"
   176     "print_quotients"
   177     "print_quotients"
   177     "print_rules"
   178     "print_rules"
   178     "print_simpset"
   179     "print_simpset"
   179     "print_statement"
   180     "print_statement"
   180     "print_syntax"
   181     "print_syntax"
   359     "print_interps"
   360     "print_interps"
   360     "print_locale"
   361     "print_locale"
   361     "print_locales"
   362     "print_locales"
   362     "print_methods"
   363     "print_methods"
   363     "print_orders"
   364     "print_orders"
       
   365     "print_quotconsts"
   364     "print_quotients"
   366     "print_quotients"
   365     "print_rules"
   367     "print_rules"
   366     "print_simpset"
   368     "print_simpset"
   367     "print_statement"
   369     "print_statement"
   368     "print_syntax"
   370     "print_syntax"