From 8dfd5f5b8c60076e5d5e89bdf27817f983561b84 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 9 Jul 1999 14:48:02 +0000
Subject: added def; removed qed_with;

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

diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index 6539001f..8402a20b 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -126,8 +126,7 @@
     "sorry"))
 
 (defconst isar-keywords-qed-block
-  '("qed"
-    "qed_with"))
+  '("qed"))
 
 (defconst isar-keywords-proof-goal
   '("have"
@@ -156,6 +155,7 @@
 
 (defconst isar-keywords-proof-asm
   '("assume"
+    "def"
     "fix"
     "presume"))
 
-- 
cgit v1.2.3