diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-12 19:32:38 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-12 19:32:38 +0000 |
| commit | 1404dd542e9c68273ae72b1c21623ecd4216788f (patch) | |
| tree | 07f27aa2a205a10213be7c4ac951a4c6595834d3 /isa | |
| parent | 0f58b7aa2a981f775fa082815a96939fee1b701d (diff) | |
More theory file sections
Diffstat (limited to 'isa')
| -rw-r--r-- | isa/thy-mode.el | 4 |
1 files changed, 4 insertions, 0 deletions
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") |