From 542620d0f90028ec709147ace2536f2505bff4f7 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Sun, 19 Mar 2000 19:20:44 +0000
Subject: removed "thence";

---
 isar/isar-keywords.el | 1 -
 1 file changed, 1 deletion(-)

(limited to 'isar/isar-keywords.el')

diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index cb04be85..c8b337e0 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -172,7 +172,6 @@
   '("finally"
     "from"
     "then"
-    "thence"
     "with"))
 
 (defconst isar-keywords-proof-decl
-- 
cgit v1.2.3