Slides for Sep3 done.  These are short and sweet.

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@17409 bd178f5f-7bea-4014-844f-495ca19b8805
All that is left to do on the talk is hereditary substitution.

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@17410 bd178f5f-7bea-4014-844f-495ca19b8805
First draft of my defense talk.

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@17411 bd178f5f-7bea-4014-844f-495ca19b8805
Adding my defense materials.

I have also finally got through the revision proposed by Stephanie for
the Background section.  I still have the rest, but the remainder should
be done soon.

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@17657 bd178f5f-7bea-4014-844f-495ca19b8805
Removed old file.

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@17658 bd178f5f-7bea-4014-844f-495ca19b8805
Pushed all the changes from our DTT reviews through.

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@17731 bd178f5f-7bea-4014-844f-495ca19b8805
Added two new results to the consistency proof of freedom of speech.
The first shows that Type:Type is not logical, and that the only logical
types are the type of natural numbers, equality types, and dependent
products.  These imply that the definition of the interpretation of
types cover all cases.

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@17732 bd178f5f-7bea-4014-844f-495ca19b8805
Restricted substitution for typing to value substitutions.

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@17733 bd178f5f-7bea-4014-844f-495ca19b8805
Fixed type preservation.

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