Skip to content
GitLab
Explore
Sign in
AVA
FloVer
Repository
FloVer
coq
Infra
Ltacs.v
Find file
Blame
History
Permalink
Fix ssa proofs, in pair programming session with Raphael, by removing the toREValEnv function
· 5a48c033
Heiko Becker
authored
Feb 28, 2017
5a48c033