That would be great!
I believe that Gauss’s law of quadratic reciprocity and Wilson’s theorem were
never ported To Number_Theory.
> On 13 Oct 2016, at 17:36, Manuel Eberl <ebe...@in.tum.de> wrote:
> I for one am hoping to be able to get rid of the Old Number Theory
> before the release. All that is left to do is actually to adapt some
> theories of the ported theories to my recent changes concerning prime
> numbers, so I think I should be able to take care of that next week.
isabelle-dev mailing list