-
Robbert Krebbers authored
Thanks to @Blaisorblade, based on https://gitlab.mpi-sws.org/Blaisorblade/iris-coq/commit/0739608d32272ca5679bf504a569b3ddd50c7b29, but applied to similar notations too.
0c0f84bc
Thanks to @Blaisorblade, based on https://gitlab.mpi-sws.org/Blaisorblade/iris-coq/commit/0739608d32272ca5679bf504a569b3ddd50c7b29, but applied to similar notations too.