Re: [isabelle] A beginner's questionu



On 24.11.2010 05:26, Francisco Ferreira wrote:
Thank you!
That was really helpful! But I am still having problems, I've checked the tutorial and the reference manual, but in the tutorial the Proof commands are not discussed, and I find the reference manual a bit too advanced, is there a tutorial on the proof command?

The "Tutorial on Isar"[1] covers the proof command.

  -- Lars

[1] http://isabelle.in.tum.de/dist/Isabelle/doc/isar-overview.pdf





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