diff options
| author | Gaëtan Gilbert | 2018-07-19 21:09:14 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-07-25 22:52:09 +0200 |
| commit | 35daeaa7c9e1dd81c4370d6e99105ca4fc3ba649 (patch) | |
| tree | 6d5cce3aeaf6a565421490d2fedb37f410bde18d /coqpp/coqpp_parse.mly | |
| parent | 535f8ce6edea2e2692f5c9c094d3c6fd07411897 (diff) | |
Hints use Declare to declare universes instead of a custom object.
Diffstat (limited to 'coqpp/coqpp_parse.mly')
0 files changed, 0 insertions, 0 deletions