next up previous
Next: About this document Up: The TkHol Tutorial Previous: The TkHol Tutorial

Introduction

 

This document contains a preliminary versoin of a tutorial for TkHol, a graphical user interface for the HOL system.

For more information on HOL, see the online documentation. Another information sources is Richard Boutlon's information page at Cambridge.

You can also access the TkHol Home Page and some papers and reports on TkHol.



Donald Syme
Sun Nov 5 22:35:43 GMT 1995