Dear HOL users,
An updated version of my glossary of HOL-related terminology is now
available from the Proof Technologies website at:
http://www.proof-technologies.com/Glossary
It significantly improves on the version of the glossary sent out on
the holinfo mailing list last October, by addi
I have written an extensive glossary of HOL terminology (see attached
text file), for those wishing to understand the HOL logic and how
theorem provers work. It forms part of the documentation of my
forthcoming HOL Zero theorem prover, which is free and open source.
Please feel free to use this fo
