[isabelle-dev] [isabelle] Error: Non-constructor pattern not allowed in sequential mode

Tjark Weber webertj at in.tum.de
Tue Jul 5 14:34:57 CEST 2011


On Tue, 2011-07-05 at 13:27 +0200, Gerwin Klein wrote:
> 500:
>   643.64
>   3421.79

I may be stating the obvious, but in my (general) experience, profiling
large examples like these (and subsequent code optimization) can often
lead to drastic performance improvements if it hasn't been done before.

Kind regards,
Tjark





More information about the isabelle-dev mailing list