diff options
| author | David Aspinall | 2000-05-30 12:50:17 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-30 12:50:17 +0000 |
| commit | 725e79e7c4e21b1de6bbe33dfdf1cfd02f136ce4 (patch) | |
| tree | eac7ab735c04ad045205d448cc23b8ad116a53e6 /hol98/example.sml | |
| parent | f1ea659bb241deff3b264f94cfa191c16ac80ba7 (diff) | |
Fixed typo causing bug. Generic parsing updated (still wip)
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions