diff options
| -rw-r--r-- | isar/isar-keywords.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el index 780e7d16..d34c1830 100644 --- a/isar/isar-keywords.el +++ b/isar/isar-keywords.el @@ -40,6 +40,7 @@ "constdefs" "consts" "context" + "corollary" "datatype" "declare" "def" @@ -321,7 +322,8 @@ "inductive_cases")) (defconst isar-keywords-theory-goal - '("instance" + '("corollary" + "instance" "lemma" "recdef_tc" "theorem" |