Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
This reverts commit c43eb936. The hack using class_apply has some strange behaviors, see: https://sympa.inria.fr/sympa/arc/coq-club/2016-07/msg00094.html
Robbert Krebbers authoredThis reverts commit c43eb936. The hack using class_apply has some strange behaviors, see: https://sympa.inria.fr/sympa/arc/coq-club/2016-07/msg00094.html
