next up previous
Next: Step 8: Making Up: The TkHol Tutorial Previous: Step 6: Doing

Step 7: Making a Simple Definition

  Sorry - this section is not yet written.



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