-
Ralf Jung authored
define view shifts and weakest-pre, and show they are all the things though ought to be (downclosed, non-expansive, monotone) On branch hackgreement modified: coq-ho/iris_plog.v no changes added to commit (use "git add" and/or "git commit -a")
f90f06b6