diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2000-07-29 21:21:19 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2000-07-29 21:21:19 +0000 |
| commit | f70b0165bca0740b39ff9a5ed9aa3b341e6c4714 (patch) | |
| tree | e841ff1ad735b0579a97b18fac0fec9a24e78a8d /isar | |
| parent | 7b99ebcbad9b6692c3d75b39e8665322d2aee646 (diff) | |
added "thm_deps", "overloaded";
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar-keywords.el | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el index 50028cfd..9363b7b0 100644 --- a/isar/isar-keywords.el +++ b/isar/isar-keywords.el @@ -128,6 +128,7 @@ "theorems" "theory" "thm" + "thm_deps" "thms_containing" "thus" "token_translation" @@ -172,6 +173,7 @@ "is" "monos" "output" + "overloaded" "where")) (defconst isar-keywords-control @@ -222,6 +224,7 @@ "remove_thy" "term" "thm" + "thm_deps" "thms_containing" "touch_all_thys" "touch_child_thys" |