Skip to content
GitLab
Explore
Sign in
Simon Spies
Iris
Repository
iris
base_logic
lib
own.v
Find file
Blame
History
Permalink
Rename pure_equiv -> pure_True.
· 8fd8da22
Robbert Krebbers
authored
Nov 21, 2016
The old name didn't make much sense. Also now we can have pure_False too.
8fd8da22