I have never understood it and generally feel terror at the sight of any transfer operation. So I would be happy to get rid of it. Larry
> On 19 Oct 2017, at 12:56, Florian Haftmann > <florian.haftm...@informatik.tu-muenchen.de> wrote: > > My suggestion would be to remove it completely. > > Any opinions on that?
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev