diff options
| author | David Aspinall | 1998-09-17 14:38:30 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-17 14:38:30 +0000 |
| commit | 22d522a1b6272c9ef8fa94de992095d49d71ee28 (patch) | |
| tree | 84178d8c70dd5f4b260b56b0e83c7d16ea072d5a /coq/example.v | |
| parent | 84175a930133ca5fe74c871613c385b27b89765a (diff) | |
Changed name of info file.
Diffstat (limited to 'coq/example.v')
0 files changed, 0 insertions, 0 deletions