[isabelle-dev] Abbreviations + Monad_Syntax introduce "unit itself" additional type variable
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.
More information about the isabelle-dev