diff options
| author | David Aspinall | 2009-09-08 23:39:50 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-08 23:39:50 +0000 |
| commit | 6aa57521b2cc53a2d208431f2f9f997f5d6aed0e (patch) | |
| tree | 112c813daba949b3bd9d381785f93d4592289b75 /generic | |
| parent | 5da12797816cbde2cb70aab3795ca2eef795e059 (diff) | |
Remove Coq 8.0 code
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions