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?