From 7411a5e9f672308188919006e72f88dda30ef01f Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 9 Mar 2000 11:15:43 +0000
Subject: added 'case', 'print_cases';

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

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