diff options
| author | David Aspinall | 2002-05-21 14:30:39 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-05-21 14:30:39 +0000 |
| commit | 19d8306f9dab9d2d7a5cc8067a9bdaef8e1e2067 (patch) | |
| tree | 7386088e4e20744f0f499442c78d1a5e1ca11176 /hol98/example.sml | |
| parent | 47454c31a08efecf6cb3d6ac30347235f08fdc81 (diff) | |
Mistake in function name (Norbert Voelker <norbert@essex.ac.uk>)
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions