diff options
| author | David Aspinall | 2000-05-05 11:34:04 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-05 11:34:04 +0000 |
| commit | 671ef4f262fd56e332449b4f68e75dc65063cffe (patch) | |
| tree | c1baca1d7620025cc0d288183d430d358263c580 /hol98/example.sml | |
| parent | bbd886faac48249cda1e1f45dde35545d5dda51b (diff) | |
Comments. Minor improvements for electric terminator and proof-follow-mode='ignore
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions