[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

Previous message (by thread): [isabelle-dev] Abbreviations + Monad_Syntax introduce "unit itself" additional type variable
Next message (by thread): [isabelle-dev] [isabelle] New representation of naturals in Code_Target_Numeral decreases generated code performance
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

> 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
>

Previous message (by thread): [isabelle-dev] Abbreviations + Monad_Syntax introduce "unit itself" additional type variable
Next message (by thread): [isabelle-dev] [isabelle] New representation of naturals in Code_Target_Numeral decreases generated code performance
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list