diff options
| author | David Aspinall | 2000-09-13 15:48:20 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-13 15:48:20 +0000 |
| commit | bfe2190d1ce2eaa372936f9ca3345a1d9305897c (patch) | |
| tree | ee77f8fe18140fa421a7c29f6fc90a434faed4fa /hol98/example.sml | |
| parent | 8e39eeed71729920b48e061ebba6f9fc754b158e (diff) | |
Revamp style a bit -- not so good with netscape but OK elsewhere.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions