diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-05-11 15:04:41 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-11 15:04:41 +0000 |
commit | 3a52dba82f50cf56521e157a9de80e68ad8d864a (patch) | |
tree | 14723315c076713939ee1166df36e5794a9802f3 /coq/BUGS | |
parent | fbdbbc06d501abfe2498827ddd2e4afd85b6d401 (diff) |
Explanatory comments
Diffstat (limited to 'coq/BUGS')
0 files changed, 0 insertions, 0 deletions