Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
theories
bi
monpred.v
Find file
Blame
History
Permalink
Notations <obj> and <subj>.
· edc37245
Robbert Krebbers
authored
Mar 03, 2018
sed -i 's/∀ᵢ/\<obj\>/g; s/∃ᵢ/\<subj\>/g' $(find ./ -name \*.v)
edc37245