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.
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 <ebe...@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?
isabelle-dev mailing list