One remark on the diff:
+ src/HOL/Number_Theory/QuadraticReciprocity.thy
+ src/HOL/Old_Number_Theory/Quadratic_Reciprocity.thy
This is a formal regression: a proper name has turned into CaMlCaSe.
But that should be easy to correct.
Ah indeed. Jaime probably didn't know about the naming convention and I
must have missed it. I will take care of it at once.
Manuel
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
