I just saw the above message for the first time, when building HOL-IMP. Should this worry me?
Tobias _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
