diff options
| author | David Aspinall | 2002-07-18 12:46:36 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-18 12:46:36 +0000 |
| commit | f65e6c1bbf2d0f70df2a91f2dee95fc3df8cf73a (patch) | |
| tree | 8ad4b8b566d095c52cb31e2f03867dafc4cda7e8 /acl2/example.acl2 | |
| parent | fc0012cc06ef58ce35bd827afb77450c66cd1270 (diff) | |
Fix typo
Diffstat (limited to 'acl2/example.acl2')
0 files changed, 0 insertions, 0 deletions