From 0262cd2b95b1879f60ca6193753498a043c646d1 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
Date: Fri, 18 May 2001 19:16:21 +0000
Subject: preliminary addition of "corollary";

---
 isar/isar-keywords.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'isar/isar-keywords.el')

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