Skip to content
  • Ralf Jung's avatar
    Mark notation as "only printing" · b00ace04
    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