diff options
| author | David Aspinall | 2002-09-13 13:20:26 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-09-13 13:20:26 +0000 |
| commit | bd7f029bd02d6c9d41fb4c4df426c08c05e1e17d (patch) | |
| tree | b58fd1144a50edebe75abb2590b4b2f524b525c0 /hol98/example.sml | |
| parent | 0fe8ab2224837791d90d04787ac23eb6ce00dcc8 (diff) | |
Comment on display anomaly
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions