diff options
| author | David Aspinall | 2002-07-13 15:01:47 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-13 15:01:47 +0000 |
| commit | e684dff9d4e6b188d0d995ca5acdced4ca6c8caf (patch) | |
| tree | 98337902f5911b5db37f54b9e0487f46d164a462 /hol98/example.sml | |
| parent | a60ed5bd9d1ebc2138b6dce648f74fd92a0090dc (diff) | |
Reformat
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions