[isabelle-dev] Abbreviations + Monad_Syntax introduce "unit itself" additional type variable

Peter Lammich lammich at in.tum.de
Fri Sep 20 10:15:29 CEST 2013

> Here a bisect would be helpful when this came to happen
> actually (or is it already present in Isabelle2013).

This one already goes wrong in Isabelle2013.

> Cheers,
> 	Florian

More information about the isabelle-dev mailing list