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

Reply via email to