Re: [isabelle] is it right?

Hi Q.G.,

the theory header is wrong, it should read

theory Demo1
imports Main

From where did you obtain that outdated example file?  The examples to
be found at should be up-to-date.

Hope this helps,



PGP available:

Attachment: signature.asc
Description: OpenPGP digital signature

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