diff options
| author | David Aspinall | 2002-07-13 17:11:55 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-13 17:11:55 +0000 |
| commit | 70c374792f44ed4fcc1a615a86a2b600d23540c9 (patch) | |
| tree | 3ceb4738c13637f5b25af85715dfd403c11aaa35 /hol98/example.sml | |
| parent | 982feaf22d153d04543422cc5695200c10633a54 (diff) | |
Remove extra hr, use h3
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions