[isabelle-dev] multiplicity and prime numbers
hoelzl at in.tum.de
Tue Jul 19 13:39:25 CEST 2016
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 <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