diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-03-24 20:16:22 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-24 20:16:22 +0000 |
| commit | 30d3dd71fe485f9b7a38c1133ec9d2e36a505d46 (patch) | |
| tree | 38e253e8f2c4558b6045b477a87b0e1e8a7b16e0 /hol98/example.sml | |
| parent | 2e54ccbf2eabf4b0757d1e0d7f6133906bf913ba (diff) | |
Improved HOL support, now joins together commands in proof properly.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions