diff options
| author | David Aspinall | 2002-01-31 18:20:02 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-01-31 18:20:02 +0000 |
| commit | bda55c7672cc0444755b76ce59a748bcc7e3ff0f (patch) | |
| tree | 640cdf26996e9eb5765dc9c2088b6d3eb8c44f47 /hol98/example.sml | |
| parent | c02f5a7215698872dd38f6b7e06d3943b1067824 (diff) | |
Tweak comment
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions