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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
