diff options
| author | David Aspinall | 2005-09-21 23:39:49 +0000 |
|---|---|---|
| committer | David Aspinall | 2005-09-21 23:39:49 +0000 |
| commit | 6d1c3c35c36ea3272c129aeed4441045e5f358e1 (patch) | |
| tree | ea99a692005560ee7ef03a529d6c0191ecc08f13 /acl2/example.acl2 | |
| parent | ac01ce5211c98ad391aa6e939dd27b9f29747a7a (diff) | |
Updated.
Diffstat (limited to 'acl2/example.acl2')
0 files changed, 0 insertions, 0 deletions