Hi, To all of you who already copied the SMT solvers (CVC3, Yices, or Z3) from the TUM server: Please copy the files again, as I have just updated them in connection with changeset fda8511006f9. Sorry for the inconvenience.
Sascha _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
