next up previous
Next: Important Notes Up: TkHol User's Guide Previous: TkHol User's Guide

Contents

This document contains a preliminary version of the TkHol User's Guide. TkHol is a graphical user interface for the hol90 theorem prover.

For more information on HOL, see the online documentationhttp://lal.cs.byu.edu/lal/hol-documentation.html. Another information source is Richard Boutlon's information page at Cambridgehttp://www.cl.cam.ac.uk/Research/HVG/HOL/HOL.html.

You can also access the TkHol Home Pagehttp://www.cl.cam.ac.uk/users/drs1004/TkHol.html and some papers and reports on TkHolhttp://www.cl.cam.ac.uk/users/drs1004/papers/papers/TkHol.hug95/paper.html.



Donald Syme
Fri Sep 1 04:00:03 BST 1995