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

Reply via email to