[isabelle] Definition of Standard ML



Hi,

Has/does anyone know of a proof and/or inference rules for the 1997
Definition of Standard ML ?

Many thanks in advance,

Aaron




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