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



Dnia sobota, 9 lipca 2011 o 17:28:35 Lawrence Paulson napisał(a):
> try type_synonym!
> 

Thank you for help.

Sorry for stupid error.

Regards
Andrzej Mazurkiewicz





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