Re: [isabelle] Definition of Standard ML



There is the "Mechanized Definition" at the second item here
https://www.cs.cmu.edu/~crary/papers/


On Thu, Jan 3, 2013 at 10:59 AM, Aaron Gray <aaronngray.lists at gmail.com>wrote:

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