I added the DIL and DTT content.  The thesis now has all of my work in
it!  All that is left is to add some writing, and make what is there
flow.  Getting close now.  #3

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@16439 bd178f5f-7bea-4014-844f-495ca19b8805
Wrote a brief introduction to the normalization by hereditary
substitution part.

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@16477 bd178f5f-7bea-4014-844f-495ca19b8805
Somehow I forgot to add in the completeness proof of DIL (#3).

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@16478 bd178f5f-7bea-4014-844f-495ca19b8805
Finished the first draft of the chapter on hereditary substitution for
SSF.  This closes #7.

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