diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 1999-07-08 15:25:21 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 1999-07-08 15:25:21 +0000 |
| commit | aefd2b95ac042c22033fcd318f2136e73d5ac050 (patch) | |
| tree | 72ac9694db425fc1eeec4dd1a8e34515be477bec /isar/isar-keywords.el | |
| parent | 28f5eb4cec4fd70a294ae0e5169edb99faa4439d (diff) | |
added concl, thence;
Diffstat (limited to 'isar/isar-keywords.el')
| -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 4c5a152c..6539001f 100644 --- a/isar/isar-keywords.el +++ b/isar/isar-keywords.el @@ -10,6 +10,7 @@ "as" "binder" "con_defs" + "concl" "congs" "distinct" "files" @@ -144,6 +145,7 @@ '("finally" "from" "then" + "thence" "with")) (defconst isar-keywords-proof-decl |