etc/isar-keywords.el
changeset 24642 7865c239ba08
parent 24437 c2a76e8a3d54
child 24866 6e6d9e80ebb4
equal deleted inserted replaced
24641:448edc627ee4 24642:7865c239ba08
   155     "print_interps"
   155     "print_interps"
   156     "print_locale"
   156     "print_locale"
   157     "print_locales"
   157     "print_locales"
   158     "print_methods"
   158     "print_methods"
   159     "print_noatp_rules"
   159     "print_noatp_rules"
       
   160     "print_orders"
   160     "print_rules"
   161     "print_rules"
   161     "print_simpset"
   162     "print_simpset"
   162     "print_statement"
   163     "print_statement"
   163     "print_syntax"
   164     "print_syntax"
   164     "print_theorems"
   165     "print_theorems"
   349     "print_interps"
   350     "print_interps"
   350     "print_locale"
   351     "print_locale"
   351     "print_locales"
   352     "print_locales"
   352     "print_methods"
   353     "print_methods"
   353     "print_noatp_rules"
   354     "print_noatp_rules"
       
   355     "print_orders"
   354     "print_rules"
   356     "print_rules"
   355     "print_simpset"
   357     "print_simpset"
   356     "print_statement"
   358     "print_statement"
   357     "print_syntax"
   359     "print_syntax"
   358     "print_theorems"
   360     "print_theorems"