diff options
| author | David Aspinall | 2009-09-20 22:08:10 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-20 22:08:10 +0000 |
| commit | 310c24324d2d4ca07ee5cc9984abbe72d2725bcc (patch) | |
| tree | 4a4cc4cb5f3953af30e87a25f11356b4054a19d2 /acl2/root2.acl2 | |
| parent | 71df9d8fbd6a47a251059725349c5cd8b9664589 (diff) | |
Adjustments to better obey proof-follow-mode=ignore
Diffstat (limited to 'acl2/root2.acl2')
0 files changed, 0 insertions, 0 deletions