diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-09-29 17:26:24 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-29 17:26:24 +0000 |
| commit | d0e4829ebc24314e458a198e62ac4d74dfca22b7 (patch) | |
| tree | 6561ce8e82ffb1a5c65556ffd31bbc511b5b10b2 /plastic | |
| parent | 720c6a5ff339e1c864b5b2c0b185d48e0bc6c1ac (diff) | |
Mention ACL2 too
Diffstat (limited to 'plastic')
0 files changed, 0 insertions, 0 deletions