[isabelle] Additional type variable(s) in specification



That was the most useful philosophical discourse I read lately.
Thanks,
Jens




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.