diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2001-05-29 18:09:41 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2001-05-29 18:09:41 +0000 |
| commit | fcaea3af83c23259b401e1f50c657abeef9d00bc (patch) | |
| tree | 12ec464d245c8852f120ba181b296cc58f1bae7f /phox | |
| parent | 6478d11501b0953493074dd9e8c400bcabcbebc0 (diff) | |
Fix Coq link.
Diffstat (limited to 'phox')
0 files changed, 0 insertions, 0 deletions