diff options
| author | David Aspinall | 2000-06-01 14:38:55 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-06-01 14:38:55 +0000 |
| commit | 17c243a07a82f1864e4f77be8d326cfefe49ced4 (patch) | |
| tree | 9d65689ef602ecb771e8a65a2b176c99f809bbbe /hol98/example.sml | |
| parent | 8f8f8060ebeb8c204eca98020de0ac2198a1d1fb (diff) | |
Removed time setting, added proof-assistant-settings-cmd to init string, but commented out
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions