diff options
| author | David Aspinall | 2001-08-15 16:38:44 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-08-15 16:38:44 +0000 |
| commit | c1e594fe80959eab7d8c9bd6dfa50a85f2961061 (patch) | |
| tree | 712b012a2a5daac69b6b24883c2987bea3be16a9 /hol98/example.sml | |
| parent | ffd4fb0e12f41a1161a08b8ae1fac2cf7b94b07c (diff) | |
Fix screenshots link
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions