next up previous
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