Next:
References
Up:
The TkHol Tutorial
Previous:
Step 7: Making
Step 8: Making an Inductive Definition
Sorry - this section is not yet written.
Donald Syme
Fri Sep 1 04:00:07 BST 1995