> A very weird error has somehow appeared
That was due to my change in inductive. It's all resolved now. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev