diff options
| author | David Aspinall | 2000-09-25 17:52:25 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-25 17:52:25 +0000 |
| commit | 9ec66045464742459fa3cb4c4bbe84888fd31a0b (patch) | |
| tree | 3e6dd89499628c4b62faedfad0e12f45e18307f8 /hol98/example.sml | |
| parent | b80afc738a5fb5d65d1cfd6264cf66a273b09b7f (diff) | |
Remove twelf from .tar.gz
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions