| Description:
This document contains some pointers to information on the HOL mechanical theorem proving system, based on Higher Order Logic, available around the world on the World Wide Web (WWW or W3), a global hypermedia system providing worldwide information. |
