adding union, setdiff, etc. to notes.
Merge branch 'gh-pages' of https://github.com/dtkaplan/CVC into gh-pages