diff options
| author | Pierre Courtieu | 2006-08-25 13:21:20 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2006-08-25 13:21:20 +0000 |
| commit | ac2ed5ec6a3fee36abd1ca0aca2f049c1ce0fb01 (patch) | |
| tree | 651d75bca39cbd618bde10ed23483508a522d301 /acl2/root2.acl2 | |
| parent | 079bf430d977dfe5d451ffd1aebff5554801c388 (diff) | |
Adding comments
Diffstat (limited to 'acl2/root2.acl2')
0 files changed, 0 insertions, 0 deletions