etc/isar-keywords-HOL-Nominal.el
changeset 20358 ccad73da6f61
parent 20345 32ed5f5fee84
child 20378 63a0aafc89ba
equal deleted inserted replaced
20357:5fb92bd3aaea 20358:ccad73da6f61
    43     "classrel"
    43     "classrel"
    44     "clear_undos"
    44     "clear_undos"
    45     "code_alias"
    45     "code_alias"
    46     "code_classapp"
    46     "code_classapp"
    47     "code_constapp"
    47     "code_constapp"
       
    48     "code_constname"
    48     "code_generate"
    49     "code_generate"
    49     "code_library"
    50     "code_library"
    50     "code_module"
    51     "code_module"
    51     "code_purge"
    52     "code_purge"
    52     "code_serialize"
    53     "code_serialize"
   364     "classes"
   365     "classes"
   365     "classrel"
   366     "classrel"
   366     "code_alias"
   367     "code_alias"
   367     "code_classapp"
   368     "code_classapp"
   368     "code_constapp"
   369     "code_constapp"
       
   370     "code_constname"
   369     "code_generate"
   371     "code_generate"
   370     "code_library"
   372     "code_library"
   371     "code_module"
   373     "code_module"
   372     "code_purge"
   374     "code_purge"
   373     "code_serialize"
   375     "code_serialize"