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