Some small corrections to the first part of the thesis.

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@16703 bd178f5f-7bea-4014-844f-495ca19b8805
The formalization of SSF in the background part was too different from
the formulations in the normalization by hereditary substitution part.
So I made them more alike.

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@16706 bd178f5f-7bea-4014-844f-495ca19b8805
Proof read the chapter on Sep3.

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@16709 bd178f5f-7bea-4014-844f-495ca19b8805
Moved the CL&C paper into my thesis.  Sprucing up now.

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@16759 bd178f5f-7bea-4014-844f-495ca19b8805
First draft of the chapter on the design of DIL and DTT (#3).

Then tomorrow morning I will finish the chapter on the metatheory of DIL
and DTT.

After, that I will print and then give it to my committee.  I am nervous
about printing it though, because I don't think I will ever feel like it
is done.

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