[isabelle-dev] Abbreviations + Monad_Syntax introduce "unit itself" additional type variable
makarius at sketis.net
Fri Mar 7 12:05:16 CET 2014
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?
More information about the isabelle-dev