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).


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