etc/isar-keywords-HOL-Nominal.el
changeset 24642 7865c239ba08
parent 24437 c2a76e8a3d54
child 24866 6e6d9e80ebb4
equal deleted inserted replaced
24641:448edc627ee4 24642:7865c239ba08
   154     "print_interps"
   154     "print_interps"
   155     "print_locale"
   155     "print_locale"
   156     "print_locales"
   156     "print_locales"
   157     "print_methods"
   157     "print_methods"
   158     "print_noatp_rules"
   158     "print_noatp_rules"
       
   159     "print_orders"
   159     "print_rules"
   160     "print_rules"
   160     "print_simpset"
   161     "print_simpset"
   161     "print_statement"
   162     "print_statement"
   162     "print_syntax"
   163     "print_syntax"
   163     "print_theorems"
   164     "print_theorems"
   334     "print_interps"
   335     "print_interps"
   335     "print_locale"
   336     "print_locale"
   336     "print_locales"
   337     "print_locales"
   337     "print_methods"
   338     "print_methods"
   338     "print_noatp_rules"
   339     "print_noatp_rules"
       
   340     "print_orders"
   339     "print_rules"
   341     "print_rules"
   340     "print_simpset"
   342     "print_simpset"
   341     "print_statement"
   343     "print_statement"
   342     "print_syntax"
   344     "print_syntax"
   343     "print_theorems"
   345     "print_theorems"