Fixed a \ref to \cite
Merge branch 'master' of github.com:roed314/rectifiers
Fixed a typo in a citation; changed component group to mathcal
Update notation and preliminaries
phi -> varphi
Replace <, > with actual angle brackets (\la and \ra)
renamed fields: F->K, E->L
increased use of \OK and \OL commands
\Phi -> \Fr
\proof,\qed -> \begin,\end{proof}
Simplified proof of restriction lemma
A few more changes to the setup for Lemma 4.3
Merge branch 'master' of github.com:roed314/rectifiers

Conflicts:
	RectifiersPaper.tex