next up previous
Next: Step 1: Starting 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 TkHolWorkbench Home Page and some papers and reports on TkHolWorkbench.

The aim of this tutorial is to use TkHol to

This tutorial also serves as a lightweight introduction to using HOL.



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