Re: [isabelle] 64 bit distro available?

When I think about, how hard it is to convince students to find the courage to post their questions on this mailing list, comments like these can't be overrated!


Am 22.11.15 um 22:41 schrieb Makarius:
On Sun, 22 Nov 2015, Daniel Horne wrote:

fun isIdentifierStartChar:: "char â bool" where



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