diff options
| author | David Aspinall | 2002-06-30 17:41:31 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-06-30 17:41:31 +0000 |
| commit | 8606f8bfd3f85aaea52a9a6374adb2e33b6a2a0a (patch) | |
| tree | 79ad0fa8dd8ff0011f6016ea631cfe9b6db5afb7 /acl2/example.acl2 | |
| parent | f220ea8912f37bedf05d3431f4cb6a3beb51688d (diff) | |
New files.
Diffstat (limited to 'acl2/example.acl2')
0 files changed, 0 insertions, 0 deletions