-
Ralf Jung authored
rename affinely_persistently -> intuitionistically; and make it a TC-opaque definition See merge request FP/iris-coq!130
ef2adeb3
rename affinely_persistently -> intuitionistically; and make it a TC-opaque definition See merge request FP/iris-coq!130