diff options
| author | David Aspinall | 2008-01-29 00:41:46 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-29 00:41:46 +0000 |
| commit | a6066f76920be1d967ae11b8dcb18f932aa25af9 (patch) | |
| tree | e5d6d6e687ad23f154707567d408b26f0baa3ccf /hol98/example.sml | |
| parent | 023957c67a1e3f433372adeb156406b6b89dddc8 (diff) | |
Typo.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions