Skip to content
GitLab
Explore
Sign in
Rice Wine
Iris
Repository
iris
algebra
upred_big_op.v
Find file
Blame
History
Permalink
Make compile with Coq 8.5pl1.
· 4b0dd0df
Robbert Krebbers
authored
Apr 18, 2016
4b0dd0df