diff options
| author | David Aspinall | 2002-06-12 21:40:49 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-06-12 21:40:49 +0000 |
| commit | a14610481274615040fa9b4521802961ae4ddc09 (patch) | |
| tree | c74e31a34b5f0dc3be4b86237f731405e6fed1e9 /acl2/example.acl2 | |
| parent | 6b17247776e8cf3b4b8660631c41279a6c5a7296 (diff) | |
Improve imp of next-span
Diffstat (limited to 'acl2/example.acl2')
0 files changed, 0 insertions, 0 deletions