diff options
| author | David Aspinall | 2002-07-15 09:32:38 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-15 09:32:38 +0000 |
| commit | 9c206542d81dc4072f6a32ef9eaeeb6e8dd3cbe9 (patch) | |
| tree | d7b9850fb03276195e8eabcbecc8ca9ee6d39857 /acl2/example.acl2 | |
| parent | e1929f06c1935fc2bf6d2b94a57c5b0a44229ec1 (diff) | |
Fix
Diffstat (limited to 'acl2/example.acl2')
0 files changed, 0 insertions, 0 deletions