diff -r 967e6c2578f2 -r 5f376320109a etc/isar-keywords.el
--- a/etc/isar-keywords.el	Tue Mar 14 22:06:42 2006 +0100
+++ b/etc/isar-keywords.el	Tue Mar 14 22:06:43 2006 +0100
@@ -142,6 +142,7 @@
     "print_methods"
     "print_rules"
     "print_simpset"
+    "print_statement"
     "print_syntax"
     "print_theorems"
     "print_theory"
@@ -323,6 +324,7 @@
     "print_methods"
     "print_rules"
     "print_simpset"
+    "print_statement"
     "print_syntax"
     "print_theorems"
     "print_theory"