Skip to content
GitLab
Explore
Sign in
Rice Wine
Iris
Repository
iris
theories
algebra
auth.v
Find file
Blame
History
Permalink
Merge FromOp and IntoOp into IsOp and perform some tweak the modes.
· ab451b4b
Robbert Krebbers
authored
Jun 08, 2017
ab451b4b