Re: [isabelle] Reference for Pure



I'm not aware of any such hierarchy. Honestly, I don't think there's any enlightenment to be had in this line of reasoning.

Larry Paulson


On 26 Aug 2012, at 11:04, John Munroe <munddr at gmail.com> wrote:

> does that mean these transformations would sit in
> a separate meta-level in the logic hierarchy






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