Re: [isabelle] Transitioning between ZF and HOL

Tjark Weber writes:
> There is a brief description in [4], and a more complete one e.g. in
> the referenced book by Gordon and Melham, "Introduction to HOL: A
> Theorem-Proving Environment for Higher-Order Logic".  A similar
> presentation can be found in "The HOL System Description", available at

Just a minor point: that HOL documentation is better taken from our

What is in our Description manual should indeed be just the same as
what is in the Gordon-Melham book. 



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