diff options
| author | David Aspinall | 2002-11-11 01:32:52 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-11-11 01:32:52 +0000 |
| commit | f9fda9064fd58c72d30487a25edcc7a20cae8461 (patch) | |
| tree | 30f92f1c1db5dd496013cf0803dd27b58bf4c84f /acl2/example.acl2 | |
| parent | ff274e235a3328cc2912f1e62d1316b27a250e00 (diff) | |
Updated.
Diffstat (limited to 'acl2/example.acl2')
0 files changed, 0 insertions, 0 deletions