From 12f40ce94d33229e08029228d44c9f94b0f7368e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 23 Oct 1998 12:45:21 +0000
Subject: Added new theory file sections

---
 isa/thy-mode.el | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/isa/thy-mode.el b/isa/thy-mode.el
index a9690394..95a17727 100644
--- a/isa/thy-mode.el
+++ b/isa/thy-mode.el
@@ -65,6 +65,9 @@ any of the usual bracket characters in unusual ways."
     ("constdefs")
     ("oracle")
     ("local")
+    ("locale")
+    ("nonterminals")
+    ("setup")
     ("global")
     ("end")
     ("ML"))
-- 
cgit v1.2.3