[isabelle-dev] multiplicity and prime numbers

Lawrence Paulson lp15 at cam.ac.uk
Tue Jul 19 13:09:33 CEST 2016

This is what I would do 

Larry Paulson

> On 19 Jul 2016, at 11:03, Manuel Eberl <eberlm at in.tum.de> wrote:
> 3. replace the old multilicity with the new one and adapt all lemmas accordingly
> Currently, I tend towards the last options. Are there any other opinions on this?

More information about the isabelle-dev mailing list