From b65f95edf852e2604048d1a8e9b591f4c7469bca Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
Date: Sat, 29 Jul 2000 21:21:47 +0000
Subject: fixed isar-goals-font-lock-keywords;

---
 isar/isar-syntax.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index 5ba2052d..d6eef173 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -274,7 +274,7 @@
     "^using this:"
     "^this:"
     "^term bindings:"
-    "^local theorems:"
+    "^facts:"
     "^cases:"
     "^prems:"
     "^fixed variables:"
-- 
cgit v1.2.3