Re: [isabelle] how to type logical and and logical or operators in Isabelle



On 27.10.2014 15:50, M A wrote:
> I use symbol in Microsoft word still can not type correct and and or, any short cut key can type these.
> how to type logical and and logical or operators in Isabelle
In the Isabelle/jEdit prover interface, there is a "Symbols" tab where
you can select the operators. When you hover over the buttons, you see
the how to type these.

  -- Lars




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