diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-20 10:31:58 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-20 10:31:58 +0000 |
| commit | 13cd8eac3946221fdb51d4cb6749eac2af82555b (patch) | |
| tree | 23c3cc78c4ca4467397a3d3186deadae41e93ba1 /isa/isa.el | |
| parent | 3e0b31278ebb31d5f4b16da3c969154d85a709e3 (diff) | |
Removed duplicate proof
Diffstat (limited to 'isa/isa.el')
0 files changed, 0 insertions, 0 deletions