equal
deleted
inserted
replaced
32 "cannot_undo" |
32 "cannot_undo" |
33 "case" |
33 "case" |
34 "cd" |
34 "cd" |
35 "chapter" |
35 "chapter" |
36 "class" |
36 "class" |
|
37 "class_instance" |
37 "classes" |
38 "classes" |
38 "classrel" |
39 "classrel" |
39 "clear_undos" |
40 "clear_undos" |
40 "codatatype" |
41 "codatatype" |
41 "code_alias" |
42 "code_alias" |
393 (defconst isar-keywords-theory-script |
394 (defconst isar-keywords-theory-script |
394 '("declare" |
395 '("declare" |
395 "inductive_cases")) |
396 "inductive_cases")) |
396 |
397 |
397 (defconst isar-keywords-theory-goal |
398 (defconst isar-keywords-theory-goal |
398 '("corollary" |
399 '("class_instance" |
|
400 "corollary" |
399 "instance" |
401 "instance" |
400 "interpretation" |
402 "interpretation" |
401 "lemma" |
403 "lemma" |
402 "theorem")) |
404 "theorem")) |
403 |
405 |