[isabelle] Backtick



Formulas may be quotes by backticks, like `X=0`.
 
But what if a formula to be quoted contains backtick, like "f`a". Can we quote such a formula?
 
 
--
Victor Porton - http://portonvictor.org


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