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!

  Benedikt

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

fun isIdentifierStartChar:: "char â bool" where

NoteThatCamelCaseIsNotUsedInIsabelleToImproveReadability.


    Makarius





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