diff options
| author | David Aspinall | 2000-08-14 21:21:35 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-08-14 21:21:35 +0000 |
| commit | a44615bcf133fc3ed3b0a4935367d2a17d9b6748 (patch) | |
| tree | bd0f3cd5e99c1881001220854c53e06c611fbd60 /hol98/example.sml | |
| parent | ef60a74b43d0216d8aaa1d79c3c6ead0ba3378cf (diff) | |
Added Fiona's changes, cleaned up a little bit
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions