diff options
| author | David Aspinall | 2003-06-05 10:45:12 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-06-05 10:45:12 +0000 |
| commit | 9c77766565cc9c29289ecf1c7d6c964d6af388ce (patch) | |
| tree | 6f63514fd2f153520142b29b72819d413502c551 /hol98/example.sml | |
| parent | a9c79785fd0870121e3ab6de9b8963435c5c6548 (diff) | |
Make find-and-forget robust for proverproc regions
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions