Re: [isabelle] Definition of Standard ML



Thanks, that's twelth/elf which is really out of use now as far as I know.
But great thanks it looks quite large and extensive !

Regards,

Aaron



On 3 January 2013 03:32, Ramana Kumar <rk436 at cam.ac.uk> wrote:

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