etc/isar-keywords.el
changeset 17147 fa9e28b23d70
parent 17091 13593aa6a546
child 17220 b41d8e290bf8
equal deleted inserted replaced
17146:67e9b86ed211 17147:fa9e28b23d70
    37     "cd"
    37     "cd"
    38     "chapter"
    38     "chapter"
    39     "classes"
    39     "classes"
    40     "classrel"
    40     "classrel"
    41     "clear_undos"
    41     "clear_undos"
       
    42     "code_library"
       
    43     "code_module"
    42     "coinductive"
    44     "coinductive"
    43     "commit"
    45     "commit"
    44     "constdefs"
    46     "constdefs"
    45     "consts"
    47     "consts"
    46     "consts_code"
    48     "consts_code"
    68     "fix"
    70     "fix"
    69     "fixpat"
    71     "fixpat"
    70     "fixrec"
    72     "fixrec"
    71     "from"
    73     "from"
    72     "full_prf"
    74     "full_prf"
    73     "generate_code"
       
    74     "global"
    75     "global"
    75     "have"
    76     "have"
    76     "header"
    77     "header"
    77     "hence"
    78     "hence"
    78     "hide"
    79     "hide"
   206     "binder"
   207     "binder"
   207     "compose"
   208     "compose"
   208     "concl"
   209     "concl"
   209     "congs"
   210     "congs"
   210     "constrains"
   211     "constrains"
       
   212     "contains"
   211     "defines"
   213     "defines"
   212     "distinct"
   214     "distinct"
       
   215     "file"
   213     "files"
   216     "files"
   214     "fixes"
   217     "fixes"
   215     "hide_action"
   218     "hide_action"
   216     "hints"
   219     "hints"
   217     "imports"
   220     "imports"
   346     "automaton"
   349     "automaton"
   347     "axclass"
   350     "axclass"
   348     "axioms"
   351     "axioms"
   349     "classes"
   352     "classes"
   350     "classrel"
   353     "classrel"
       
   354     "code_library"
       
   355     "code_module"
   351     "coinductive"
   356     "coinductive"
   352     "constdefs"
   357     "constdefs"
   353     "consts"
   358     "consts"
   354     "consts_code"
   359     "consts_code"
   355     "datatype"
   360     "datatype"
   360     "extract"
   365     "extract"
   361     "extract_type"
   366     "extract_type"
   362     "finalconsts"
   367     "finalconsts"
   363     "fixpat"
   368     "fixpat"
   364     "fixrec"
   369     "fixrec"
   365     "generate_code"
       
   366     "global"
   370     "global"
   367     "hide"
   371     "hide"
   368     "inductive"
   372     "inductive"
   369     "judgment"
   373     "judgment"
   370     "lemmas"
   374     "lemmas"