-
Ralf Jung authored
Unfortunately, we currently have to keep the unicode-space hack in some places because Coq still complains about the notation otherwise
b00ace04
Unfortunately, we currently have to keep the unicode-space hack in some places because Coq still complains about the notation otherwise