Skip to content
GitLab
Explore
Sign in
Rodolphe Lepigre
Iris
Repository
iris
algebra
upred.v
Find file
Blame
History
Permalink
Move upred to algebra as it is not tied to the Iris logic.
· 2f67cbdc
Robbert Krebbers
authored
Feb 09, 2016
2f67cbdc