diff options
| author | David Aspinall | 2002-07-15 09:29:40 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-15 09:29:40 +0000 |
| commit | f9eef939814b52977c01e063691bd0f7304d94e9 (patch) | |
| tree | 7eecc8bdb4b1fa87129aefd12c922a9219bd29d9 /hol98/example.sml | |
| parent | c1c0fb3173cb46e21a22baec4a120a3d04016649 (diff) | |
Put isa first
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions