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