Re: [isabelle] antiquotations



On Thu, 14 Feb 2008, Makarius wrote:

> Moreover, we have recently started to repair some defects in versions of 
> SML/ML, by passing through our management of ML sources within Isar.
  ^^^^^^

This should read SML/NJ (we've managed to replace 5 integer types by just 
one true version).


	Makarius





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