diff options
| author | David Aspinall | 2003-02-18 01:10:48 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-02-18 01:10:48 +0000 |
| commit | 0bbc80a7644642118b2ac3cade070c8b028405dc (patch) | |
| tree | 8e3055bad5d2733f74fd90b4ec7e7327d0e29996 /acl2/example.acl2 | |
| parent | f9ef1c43eb74fc4ecf235e3f3fb24f5d472be36e (diff) | |
New files.
Diffstat (limited to 'acl2/example.acl2')
0 files changed, 0 insertions, 0 deletions