diff options
| author | David Aspinall | 2009-09-05 09:43:51 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-05 09:43:51 +0000 |
| commit | ab530f103fa791506393b45eb9ed6b3587ac1836 (patch) | |
| tree | 3730a8399b294f505d36ef51d7ac0530a7d239dc /acl2/root2.acl2 | |
| parent | 716f8469142f61b7e9b382dad82adcd63c5cfb79 (diff) | |
Tidy whitespace
Diffstat (limited to 'acl2/root2.acl2')
0 files changed, 0 insertions, 0 deletions