Am 06/12/2012 12:57, schrieb Makarius: > This does not say anything yet. We need to collect further details and > hypotheses and test them. I will also try again to reproduce it myself.
One point may (or may not) have got lost. The problem seems to be independent from the AFP. Remember that I had the situation where even HOLCF hung. It turned out that trying to load any theory based on HOL hung. I eventually forced HOL to be recompiled and then things were more normal again. Yes, it sounds strange. Tobias _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
