Brian's latest patch "remove HOLCF from build script, since it no longer works" has an unfortunate effect: the isabelle script now terminates immediately with Bad Isabelle component: "/Users/nipkow/isabelle/src/HOLCF" Which is annoying, given that I do not want to use HOLCF at all. Can I do something to avoid this?
Tobias _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
