etc/isar-keywords.el
changeset 19272 5f376320109a
parent 19255 e80e3fdda606
child 19564 d3e2f532459a
equal deleted inserted replaced
19271:967e6c2578f2 19272:5f376320109a
   140     "print_locale"
   140     "print_locale"
   141     "print_locales"
   141     "print_locales"
   142     "print_methods"
   142     "print_methods"
   143     "print_rules"
   143     "print_rules"
   144     "print_simpset"
   144     "print_simpset"
       
   145     "print_statement"
   145     "print_syntax"
   146     "print_syntax"
   146     "print_theorems"
   147     "print_theorems"
   147     "print_theory"
   148     "print_theory"
   148     "print_trans_rules"
   149     "print_trans_rules"
   149     "print_translation"
   150     "print_translation"
   321     "print_locale"
   322     "print_locale"
   322     "print_locales"
   323     "print_locales"
   323     "print_methods"
   324     "print_methods"
   324     "print_rules"
   325     "print_rules"
   325     "print_simpset"
   326     "print_simpset"
       
   327     "print_statement"
   326     "print_syntax"
   328     "print_syntax"
   327     "print_theorems"
   329     "print_theorems"
   328     "print_theory"
   330     "print_theory"
   329     "print_trans_rules"
   331     "print_trans_rules"
   330     "prop"
   332     "prop"