heap_lang/tactics.v · 9d2e164bd2e98f491387cd47dfb217b5028d76cc · Simcha van Collem / Iris

Forked from Iris / Iris

Source project has a limited visibility.

8 years ago

Revert "Different treatment of atomic premise in type class." · 815cabab

This reverts commit 2a7755fe because
it is no longer needed after Matthieu Sozeau reverted this change in
Coq 8.6. See also the discussion:

  [Coq-Club] Coq 8.6 typeclasses behavior change

at 11/16/2016 02:14 PM.

815cabab

History

Revert "Different treatment of atomic premise in type class."

Robbert Krebbers authored 8 years ago

This reverts commit 2a7755fe because
it is no longer needed after Matthieu Sozeau reverted this change in
Coq 8.6. See also the discussion:

  [Coq-Club] Coq 8.6 typeclasses behavior change

at 11/16/2016 02:14 PM.