streamline git instructions; the git novice will just be confused by having two remotes
Rewrote expexp.
Add examples from Dijkstra's paper on calculational proofs.
Adds links to front page.
Adds examples of adding, subtracting, and multiplying fractions.