Minor updates and improvements

- modified title that appears in upper righthand corner
- changed version number to match semester
- updated numbering
- made minor tweaks to existing content
- put skeleton proofs in skeleton proof environment