-
Ralf Jung authored
change statement of inv-open lemmas such that they do not force the invariant, and the 'inner step', to appear right next to each other
ef3214e0
change statement of inv-open lemmas such that they do not force the invariant, and the 'inner step', to appear right next to each other