Re: [isabelle] A beginner's questionu
On 24.11.2010 05:26, Francisco Ferreira wrote:
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" covers the proof command.
This archive was generated by a fusion of
Pipermail (Mailman edition) and