diff options
| -rw-r--r-- | isar/isar-keywords.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el index aa51fa7d..780e7d16 100644 --- a/isar/isar-keywords.el +++ b/isar/isar-keywords.el @@ -108,6 +108,7 @@ "qed" "quit" "recdef" + "recdef_tc" "record" "redo" "remove_thy" @@ -322,6 +323,7 @@ (defconst isar-keywords-theory-goal '("instance" "lemma" + "recdef_tc" "theorem" "typedef")) |