diff options
| -rw-r--r-- | hol98/hol98.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hol98/hol98.el b/hol98/hol98.el index 937cbb87..d18135a9 100644 --- a/hol98/hol98.el +++ b/hol98/hol98.el @@ -155,4 +155,4 @@ (warn "Hol Proof General is incomplete! Please help improve it! Read the manual, make improvements and send them to proofgen@dcs.ed.ac.uk") -(provide 'hol98)
\ No newline at end of file +(provide 'hol98) |