On Thu, 19 Apr 2012, Brian Huffman wrote:
This is probably related to my changeset Isabelle/9475d524bafb, where
I redefined a bunch of word operations with lift_definition instead of
definition.
Hopefully changeset e3c699a1fae6 will take care of the problem.
Thanks. It works on lxbroy10:
Timing HOL-Word-JinjaThreads-Basic-JinjaThreads (6 threads, 3709.711s
elapsed time, 16364.149s cpu time, 8361.441s GC time, factor 4.41)
Finished HOL-Word-JinjaThreads-Basic-JinjaThreads (1:04:08 elapsed time,
4:35:38 cpu time, factor 4.29)
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
