[isabelle-dev] multiplicity and prime numbers

[Johannes Hölzl]

I also would vote for option 3.

But is it possible to adapt all lemmas accordingly?  I could imagine
that some statements use the fact that the support of multiplicity are
the prime numbers.

 - Johannes

Am Dienstag, den 19.07.2016, 12:09 +0100 schrieb Lawrence Paulson:
> 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?