• Martin Clochard's avatar
    by/so: moved precedence to the same level as arrow · c8cb2b78
    Martin Clochard authored
      Reason for that change: interpret correctly both
      (1) A by B -> C and (2) A -> B by C
      Case (2) is common, and we expect by to take precendence,
      so that A is the context for the proof of B.
      Case (1) is rarer, and is troublesome if by take precendence
      cause (A by B) -> C is almost certainly not what the user
      intended to write. Putting precendence of by/so at the same level as
      the arrow fix this
    c8cb2b78
pretty.ml 23.2 KB