[isabelle-dev] Old_Number_Theory

Manuel Eberl eberlm at in.tum.de
Tue Oct 18 13:36:10 CEST 2016

> 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.


More information about the isabelle-dev mailing list