diff options
| -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 23c7e789..2abe03f6 100644 --- a/isar/isar-keywords.el +++ b/isar/isar-keywords.el @@ -70,6 +70,7 @@ "lemmas" "let" "local" + "method_setup" "moreover" "next" "nonterminals" @@ -265,6 +266,7 @@ "judgment" "lemmas" "local" + "method_setup" "nonterminals" "oracle" "parse_ast_translation" |