diff options
| author | David Aspinall | 2002-08-29 01:34:29 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-29 01:34:29 +0000 |
| commit | a06bdccabcaf4878ebf6353eecd3a5f1c980f1bd (patch) | |
| tree | bde07085b31db132fc0891b01eb831adc416201f /etc/coq/nested.v | |
| parent | 4ddcbbadc5c55c76792e7339e2943df769909338 (diff) | |
AF2 eradicate
Diffstat (limited to 'etc/coq/nested.v')
0 files changed, 0 insertions, 0 deletions