[isabelle] Isabelle 2014 isar-ref.pdf p149 - parentheses in the wrong place in the mixfix syntax diagram?



The mixfix syntax diagram seems to require mismatched parentheses.



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.