diff options
| author | David Aspinall | 2008-01-30 12:47:06 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-30 12:47:06 +0000 |
| commit | cd780b1a878968146d2cb0429abdcd96f956ee95 (patch) | |
| tree | 6a9b9c0ed9594230afe9361433a1ab4b3a0458c6 /acl2/root2.acl2 | |
| parent | d1a0568693284de86676e0451dcbe766a43e3c74 (diff) | |
Update magic
Diffstat (limited to 'acl2/root2.acl2')
0 files changed, 0 insertions, 0 deletions