diff options
| author | David Aspinall | 2002-07-14 11:17:49 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-14 11:17:49 +0000 |
| commit | 1ae482725b940b5fc8d10bc3f2e2ba64304bf67a (patch) | |
| tree | 8964216e335bae791c8e1ebd827e47763eee9bb7 /hol98/example.sml | |
| parent | 4e381c550a1b3cb7d39f8069f27fa8d55b368cd9 (diff) | |
Style for lists tweaked.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions