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 !
On 3 January 2013 03:32, Ramana Kumar <rk436 at cam.ac.uk> wrote:
> There is the "Mechanized Definition" at the second item here
> On Thu, Jan 3, 2013 at 10:59 AM, Aaron Gray <aaronngray.lists at gmail.com>wrote:
>> Has/does anyone know of a proof and/or inference rules for the 1997
>> Definition of Standard ML ?
>> Many thanks in advance,
This archive was generated by a fusion of
Pipermail (Mailman edition) and