Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Gappa
coq
Repository
coq
testsuite
bug-20180309.v
Find file
Blame
History
Permalink
Make sure open terms using IZR are not mistaken for constants.
· e7302762
Guillaume Melquiond
authored
Mar 09, 2018
e7302762