diff options
| author | David Aspinall | 2004-04-14 12:21:36 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-14 12:21:36 +0000 |
| commit | 8b2c874093475a6ef8ba9938e325cb6df32ed2bf (patch) | |
| tree | 86588c97a06a76d284035c77d0eac0ad2ec5e437 /hol98/example.sml | |
| parent | 8f8981f7430eb351a058bf3854988744e08f3286 (diff) | |
Fix version number notes.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions