diff options
| author | David Aspinall | 2002-07-14 17:36:49 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-14 17:36:49 +0000 |
| commit | bc848b8a9256ab811bb45e82ea5833a90812421c (patch) | |
| tree | 1dcaae60d890753313008994447f038399cca0eb /coq/example.v | |
| parent | d4c3d893f14c2b724704875f4ef800dfd2d8bd98 (diff) | |
Mention developers list too
Diffstat (limited to 'coq/example.v')
0 files changed, 0 insertions, 0 deletions