From 893bccaf0799733363c33f2aea35796d51de8de3 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Tue, 4 Apr 2000 20:33:04 +0000
Subject: added 'print_claset', 'print_simpset';

---
 isar/isar-keywords.el | 2 ++
 1 file changed, 2 insertions(+)

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"
-- 
cgit v1.2.3