Re: [isabelle] 64 bit distro available?



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.