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
> http://www.cs.uu.nl/docs/vakken/pv/resources/kananaskis-2-description.pdf.

Just a minor point: that HOL documentation is better taken from our
website
  http://hol.sf.net

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

Regards,
Michael.

 






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