Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
theories
base_logic
lib
saved_prop.v
Find file
Blame
History
Permalink
Use `Φ` and `Ψ` for predicates in saved_prop as we do everywhere.
· 5d74ded9
Robbert Krebbers
authored
Nov 15, 2017
5d74ded9