[isabelle-dev] [isabelle] Error: Non-constructor pattern not allowed in sequential mode
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:
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.
More information about the isabelle-dev