diff options
| author | David Aspinall | 2003-12-11 17:01:20 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-12-11 17:01:20 +0000 |
| commit | 0164d341b4b5c5c55f39abde040aa4c591cfcf90 (patch) | |
| tree | 6fbcefd205df0e7d88f99b999f15e67ef1b1599b /hol98/example.sml | |
| parent | 598d4d4dd222932bfe38d115ef46f01b483f091f (diff) | |
Fix domain name
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions