Skip to content
GitLab
Explore
Sign in
Rodolphe Lepigre
Iris
Repository
iris
algebra
upred.v
Find file
Blame
History
Permalink
Change the level of wand so it is more like the implication.
· 191c8f17
Robbert Krebbers
authored
Feb 10, 2016
191c8f17