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

Makarius makarius at sketis.net
Fri Mar 7 12:05:16 CET 2014

Previous message (by thread): [isabelle-dev] NEWS: interactive simplifier trace
Next message (by thread): [isabelle-dev] looping continues in the background
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On Sat, 1 Feb 2014, Christian Sternagel wrote:

> Reviving this old thread once more ;)

I've lost track of this thread.  Are there still any open questions?


 	Makarius

Previous message (by thread): [isabelle-dev] NEWS: interactive simplifier trace
Next message (by thread): [isabelle-dev] looping continues in the background
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list