diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2000-09-29 15:16:32 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2000-09-29 15:16:32 +0000 |
| commit | c7ce231c26a5f859a0d773320f0320fc7a1814d1 (patch) | |
| tree | 2aeb7f58e3308fd5dd909dd513edd0dcdc5316bb /acl2 | |
| parent | c8fadf72b17715f8bbcfb2b389b73406c0130587 (diff) | |
added some comments in coq/todo
Diffstat (limited to 'acl2')
0 files changed, 0 insertions, 0 deletions