etc/isar-keywords.el
changeset 19797 a527b3e1076a
parent 19655 f10b141078e7
child 19854 9c1732a66b0b
equal deleted inserted replaced
19796:d86e7b1fc472 19797:a527b3e1076a
    98     "inductive_cases"
    98     "inductive_cases"
    99     "init_toplevel"
    99     "init_toplevel"
   100     "instance"
   100     "instance"
   101     "interpret"
   101     "interpret"
   102     "interpretation"
   102     "interpretation"
       
   103     "invoke"
   103     "judgment"
   104     "judgment"
   104     "kill"
   105     "kill"
   105     "kill_thy"
   106     "kill_thy"
   106     "lemma"
   107     "lemma"
   107     "lemmas"
   108     "lemmas"
   234     "contains"
   235     "contains"
   235     "defines"
   236     "defines"
   236     "distinct"
   237     "distinct"
   237     "file"
   238     "file"
   238     "fixes"
   239     "fixes"
       
   240     "for"
   239     "hide_action"
   241     "hide_action"
   240     "hints"
   242     "hints"
       
   243     "if"
   241     "imports"
   244     "imports"
   242     "in"
   245     "in"
   243     "includes"
   246     "includes"
   244     "induction"
   247     "induction"
   245     "infix"
   248     "infix"
   483 
   486 
   484 (defconst isar-keywords-proof-goal
   487 (defconst isar-keywords-proof-goal
   485   '("have"
   488   '("have"
   486     "hence"
   489     "hence"
   487     "interpret"
   490     "interpret"
       
   491     "invoke"
   488     "show"
   492     "show"
   489     "thus"))
   493     "thus"))
   490 
   494 
   491 (defconst isar-keywords-proof-block
   495 (defconst isar-keywords-proof-block
   492   '("next"
   496   '("next"