Forked from
Iris / Iris
4308 commits behind the upstream repository.
-
Robbert Krebbers authored
sed -i 's/absolute/objective/g; s/relative/subjective/g; s/Absolute/Objective/g; s/Relative/Subjective/g' $(find ./ -name \*.v)
Robbert Krebbers authoredsed -i 's/absolute/objective/g; s/relative/subjective/g; s/Absolute/Objective/g; s/Relative/Subjective/g' $(find ./ -name \*.v)
proofmode_monpred.v 4.53 KiB