diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2001-05-18 19:16:21 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2001-05-18 19:16:21 +0000 |
| commit | 0262cd2b95b1879f60ca6193753498a043c646d1 (patch) | |
| tree | cd22cf7205439d6eaf1941366cefc538f8a09e50 /isar/isar-keywords.el | |
| parent | 0c5044ea494bfcab06c219e4016bc4b462d5e25a (diff) | |
preliminary addition of "corollary";
Diffstat (limited to 'isar/isar-keywords.el')
| -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" |