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