diff options
| author | Gaëtan Gilbert | 2020-11-02 15:16:32 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-11-15 10:30:31 +0100 |
| commit | f8f3ea06d9d8ffdd07d0d034b453d6495dd418c0 (patch) | |
| tree | be020e8948ae1a5d9313089462d081b5d5910a42 /doc | |
| parent | 59ea396dc5fd01afd8f8dfd8ec18f84d787244c0 (diff) | |
Update compate Coq812.v
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions