diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2001-01-03 18:20:56 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2001-01-03 18:20:56 +0000 |
| commit | 3baae2f187114f7ffe9f5e6aa51bdf52b92d5d2c (patch) | |
| tree | 583169b673972494ce8c51c8cda21d223a6fad72 | |
| parent | acc622e1fcca27be821f9acf03fdfb8adc42dcd3 (diff) | |
added "recdef_tc";
| -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")) |