diff options
| -rw-r--r-- | hol98/hol98.el | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/hol98/hol98.el b/hol98/hol98.el index 57172649..fa888feb 100644 --- a/hol98/hol98.el +++ b/hol98/hol98.el @@ -14,6 +14,11 @@ (require 'proof-easy-config) ; easy configure mechanism (require 'proof-syntax) ; functions for making regexps +(defvar hol98-keywords nil) +(defvar hol98-rules nil) +(defvar hol98-tactics nil) +(defvar hol98-tacticals nil) + (proof-easy-config 'hol98 "HOL" proof-prog-name "hol.unquote" proof-terminal-char ?\; |