diff options
| author | David Aspinall | 2002-07-18 13:04:42 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-18 13:04:42 +0000 |
| commit | d272fd5b6bbe0577fb4756dc0392126519a0ec3d (patch) | |
| tree | 5b6634846f49c903d2af1da4539a959d238c568c /hol98/example.sml | |
| parent | 033ef90fe169d5067020c1164373299e4c75005e (diff) | |
fix README rename.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions