Re: [isabelle] Strange behaviour. Errors depend on file length.



try type_synonym!

Larry Paulson


On 9 Jul 2011, at 16:09, Andrzej Mazurkiewicz wrote:

> *** Outer syntax error (line 55 of 
> "/home/andrzej/ALMAMER/PUBLIKACJE/DESIGN_PATTERNS/Isabelle/Example1.thy"): 
> command expected,
> *** but identifier type_synonim (line 55 of 






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