[isabelle-dev] Broken AFP

Manuel Eberl eberlm at in.tum.de
Sat Jul 16 14:42:01 CEST 2016


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


More information about the isabelle-dev mailing list