diff options
| author | David Aspinall | 2004-02-08 15:42:07 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-02-08 15:42:07 +0000 |
| commit | 4b0c270c87489ac313f0f52f23e625d709df8db5 (patch) | |
| tree | faeeb67bf7a7e272e181f3c0c793264c7dcb9777 /coq/ex-module.v | |
| parent | 18ebfd87cda9d7fa55903ae7bb5f4535d951785d (diff) | |
Update magic
Diffstat (limited to 'coq/ex-module.v')
0 files changed, 0 insertions, 0 deletions