Many more changes to make the Tutorial build better as a hevea translated
html document; the .dvi file produced is pretty much unaffected.

Big revision; Euclid example from hol98 manual is now chapter 4.
Discussion of theories from chapter 3 has disappeared, but I think I'll
put an example of theory work into the end of the Euclid example.