Added the proofs to the chapter for SSF (#7).

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@16409 bd178f5f-7bea-4014-844f-495ca19b8805
I added all the proofs to the chapter on SSF-omega (#10).

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