Skip to content
GitLab
Explore
Sign in
Dmitry Khalanskiy
Iris
Repository
iris
theories
base_logic
upred.v
Find file
Blame
History
Permalink
more consistent naming
· 9ac050a9
Ralf Jung
authored
Mar 29, 2019
9ac050a9