diff options
| author | David Aspinall | 2009-08-06 22:09:06 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-06 22:09:06 +0000 |
| commit | 54dbcac1e9e9f01806d48d9909e234ab60df879a (patch) | |
| tree | f563d10081b01a2ceec59056604f76176b880173 /hol98/example.sml | |
| parent | b731fe71adfdb13546a10c15b73ae4a82f60beba (diff) | |
Emulate old behaviour after all
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions