theories/algebra/ofe.v · e131afc0585fdbb11b246e5e54abe63bcd282f8c · Simcha van Collem / Iris

Forked from Iris / Iris

Source project has a limited visibility.

8 years ago

Now, we never need to unfold LimitPreserving in LambdaRust, and hence
the entails_lim tactic is no longer needed.

e131afc0

Robbert Krebbers authored 8 years ago

Now, we never need to unfold LimitPreserving in LambdaRust, and hence
the entails_lim tactic is no longer needed.