theories/proofmode/class_instances.v · 7ed067a97b05844b62076d672bdc16b86dda5ce9 · Simcha van Collem / Iris

"git-rts@gitlab.mpi-sws.org:tlsomers/actris.git" did not exist on "20aef08489aec314e4d5e98f7d97dbcadbe29f82"

Blame

Forked from Iris / Iris

168 commits behind the upstream repository.

7 years ago

7ed067a9

Fix issue #99. · 7ed067a9

Robbert Krebbers authored 7 years ago

This causes a bit of backwards incompatibility: it may now succeed with
later stripping below unlocked/TC transparent definitions. This problem
actually occured for `wsat`.

7ed067a9

History

Fix issue #99.

Robbert Krebbers authored 7 years ago

This causes a bit of backwards incompatibility: it may now succeed with
later stripping below unlocked/TC transparent definitions. This problem
actually occured for `wsat`.