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 | |
| parent | fbdbbc06d501abfe2498827ddd2e4afd85b6d401 (diff) | |
Explanatory comments
Diffstat (limited to 'coq')
0 files changed, 0 insertions, 0 deletions