Some corrections to the earlier chapters on HS (just formatting).

Finished the first draft of the chapter on HS for SSF-omega.  This
closes #10.  I am now moving onto the final chapter on HS, which is
the chapter on the lam-Delta-calculus.

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@16628 bd178f5f-7bea-4014-844f-495ca19b8805
Merge branch 'clc'