From 1404dd542e9c68273ae72b1c21623ecd4216788f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 12 Nov 1999 19:32:38 +0000
Subject: More theory file sections

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

diff --git a/isa/thy-mode.el b/isa/thy-mode.el
index ff9361da..0842e600 100644
--- a/isa/thy-mode.el
+++ b/isa/thy-mode.el
@@ -66,6 +66,10 @@ on sml-mode, but at the moment there is no way to do this."
     ("instance")
     ("rules"   . thy-insert-rule)
     ("defs"    . thy-insert-rule)
+    ("axioms"    . thy-insert-rule)
+    ("use")
+    ("theory")
+    ("files")
     ("constdefs")
     ("oracle")
     ("local")
-- 
cgit v1.2.3