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

isabelle-dev mailing list

Reply via email to