Re: [isabelle] Fwd: [Isabelle] Failed to parse prop



On 08.04.2015 22:58, Martin Lee wrote:
> Hi sir,
>
> theory Scratch
> imports Pure
You need to import Main. Importing Pure is almost always the wrong thing
to do.




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