diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-07-14 13:13:29 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-07-14 13:13:29 +0000 |
| commit | ac2877ccc9aee1badb3362dccf31477ac23e663a (patch) | |
| tree | f0df263fd5dba71dc9dbefdb2b2707a5849689bc /hol98 | |
| parent | f82f7299712ebce913866abecbedb9d0b3e3600e (diff) | |
ws
Diffstat (limited to 'hol98')
| -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) |