diff options
| -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") |