diff options
| author | David Aspinall | 2004-04-02 18:22:20 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-02 18:22:20 +0000 |
| commit | 201b5216af7a8ec183a262e8fbedd7514e774fd4 (patch) | |
| tree | 71736845f57a0049a964143caa159c126d0c19b4 /hol98/example.sml | |
| parent | fac372ba7f578e8ba5022b0050da51bd1dd07279 (diff) | |
Add extra term test -- shows up current bug
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions