From 3baae2f187114f7ffe9f5e6aa51bdf52b92d5d2c Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 3 Jan 2001 18:20:56 +0000
Subject: added "recdef_tc";

---
 isar/isar-keywords.el | 2 ++
 1 file changed, 2 insertions(+)

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"))
 
-- 
cgit v1.2.3