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 84afff87..222bc6de 100644 --- a/isar/isar-keywords.el +++ b/isar/isar-keywords.el @@ -60,9 +60,11 @@ "print_attributes" "print_binds" "print_cases" + "print_claset" "print_context" "print_facts" "print_methods" + "print_simpset" "print_syntax" "print_theorems" "print_theory" |