[isabelle-dev] Towards the release

[Lawrence Paulson]

That would be great!

I believe that Gauss’s law of quadratic reciprocity and Wilson’s theorem were never ported To Number_Theory.

Larry

> On 13 Oct 2016, at 17:36, Manuel Eberl <eberlm at 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.
> 
> Cheers,
> 
> Manuel