diff options
| author | David Aspinall | 2000-03-13 07:33:25 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-13 07:33:25 +0000 |
| commit | 52a8b752127e7841c4a0ce1571e29a4c582b73b4 (patch) | |
| tree | bee9fa2f1c8a102054dc118f70da5713e0acee49 /hol98/example.sml | |
| parent | 6402a4f1bfa1fe5b487c1ef28806fb6c181ee3f9 (diff) | |
Note about diff HOL versions.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions