Hallo,sorry for the broken AFP – it's my fault, but I added a lot of new material about rings and prime factor decomposition. The projects that were affected by this the most are already fixed, and I will take care of the rest on Monday.
Manuel _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev