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 caa7cfab..cb04be85 100644 --- a/isar/isar-keywords.el +++ b/isar/isar-keywords.el @@ -59,6 +59,7 @@ "pretty_setmargin" "print_attributes" "print_binds" + "print_cases" "print_context" "print_facts" "print_methods" @@ -186,6 +187,7 @@ (defconst isar-keywords-proof-asm '("assume" + "case" "def" "fix" "presume")) |