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 <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. > > Cheers, > > Manuel _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev