I am continuing to be plagued by HOL failing to build, stalling quite reproducibly after about two minutes of processor time. It's a big obstacle to getting any work done, so tips would be welcome.
Larry _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
