Skip to content
  • Robbert Krebbers's avatar
    Fix bug #85 in another way. · 293fb6c7
    Robbert Krebbers authored
    After discussing this with Ralf, again, it turned out that using a bar
    instead of a turnstyle would be better. When formalizing type systems, one
    often wants to use a turnstyle in other notations (the typing judgment),
    so having the turnstyle in the proofmode notation is confusing.