Re: [isabelle] Tutorial in isar-ref.pdf



On Tue, 8 Sep 2009, Dave Thayer wrote:

I have found that on my system I don't have to use "\<Rightarrow>" but can use "=>" is that kosher?

Yes, this is the plain ASCII replacement for this symbol.


	Makarius






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