diff options
| author | David Aspinall | 2007-11-12 18:15:31 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-11-12 18:15:31 +0000 |
| commit | 5b209528fc1eef36d53d4cb1fbf65b6fe76a1098 (patch) | |
| tree | c9c74b17ab0328b6a05d5525ae98faee8b7a2efa /hol98/example.sml | |
| parent | 1ef51ffae9dba2795ce7e535540f0a1b669d51b2 (diff) | |
Fix http://proofgeneral.inf.ed.ac.uk/trac/ticket/160
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions