Started on hw2.

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/class/111-spring14-submit/alstarr@15550 bd178f5f-7bea-4014-844f-495ca19b8805
Got all list-todo theorems except .

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/class/111-spring14-submit/alstarr@15551 bd178f5f-7bea-4014-844f-495ca19b8805
Merging in the headache to get the svnsync branch up to date.

Merge branch 'svnsync'