etc/isar-keywords-HOL-Nominal.el
changeset 20424 d5b4b55ad277
parent 20378 63a0aafc89ba
child 20453 855f07fabd76
equal deleted inserted replaced
20423:593053389701 20424:d5b4b55ad277
    40     "chapter"
    40     "chapter"
    41     "class"
    41     "class"
    42     "classes"
    42     "classes"
    43     "classrel"
    43     "classrel"
    44     "clear_undos"
    44     "clear_undos"
    45     "code_classapp"
    45     "code_class"
    46     "code_constapp"
    46     "code_constapp"
    47     "code_constname"
    47     "code_constname"
    48     "code_generate"
    48     "code_generate"
       
    49     "code_instance"
    49     "code_library"
    50     "code_library"
    50     "code_module"
    51     "code_module"
    51     "code_purge"
    52     "code_purge"
    52     "code_serialize"
    53     "code_serialize"
    53     "code_simtype"
    54     "code_simtype"
   364     "axiomatization"
   365     "axiomatization"
   365     "axioms"
   366     "axioms"
   366     "class"
   367     "class"
   367     "classes"
   368     "classes"
   368     "classrel"
   369     "classrel"
   369     "code_classapp"
   370     "code_class"
   370     "code_constapp"
   371     "code_constapp"
   371     "code_constname"
   372     "code_constname"
   372     "code_generate"
   373     "code_generate"
       
   374     "code_instance"
   373     "code_library"
   375     "code_library"
   374     "code_module"
   376     "code_module"
   375     "code_purge"
   377     "code_purge"
   376     "code_serialize"
   378     "code_serialize"
   377     "code_typapp"
   379     "code_typapp"