diff options
| author | Matej Kosik | 2016-08-17 12:58:08 +0200 |
|---|---|---|
| committer | Matej Kosik | 2016-08-17 13:10:41 +0200 |
| commit | 2bc134ff7c90bbc63ff388d2a456f154cc563ed7 (patch) | |
| tree | f9d7664a40eb8aa971bd077e1b4d4b50b808d438 /mathcomp/_CoqProject | |
| parent | c353aa577c4bed12746dc8433b5daba31ebd7759 (diff) | |
Removing calls of "Context.Named.Declaration.to_tuple" function
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions