Thanks, sorry (24b5e7579fdd). Jasmin
> On 06.10.2015, at 11:42, Dmitriy Traytel <tray...@inf.ethz.ch> wrote: > > The title says it all. > > Dmitriy _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
