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

[Tjark Weber]

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