diff options
| author | Matej Kosik | 2016-08-17 12:46:16 +0200 |
|---|---|---|
| committer | Matej Kosik | 2016-08-17 12:46:16 +0200 |
| commit | c353aa577c4bed12746dc8433b5daba31ebd7759 (patch) | |
| tree | 153ba4373b6a4ba54ed755107933066881a0d1c9 /mathcomp/_CoqProject | |
| parent | 682801347b039ccad048625d97e4a8c6790ace19 (diff) | |
use a convenient module alias instead of "Context.Rel.Declaration" and "Context.Named.Declaration"
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions