diff options
| author | David Aspinall | 2010-08-03 18:35:16 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-03 18:35:16 +0000 |
| commit | 78d6f7b0244bfdcc7f173a2af409c88da0684dcd (patch) | |
| tree | 8d9f9ea74659fac140c38efbed43b9595de1e98a /hol98/example.sml | |
| parent | d17c13bee1a8cf938c8c1357fd152e1d71c8e4c7 (diff) | |
proof-shell-wait, proof-shell-kill-function: avoid use of sit-for.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions