Next: Proof of (#eqrefl_horiz>) Up: No Title Previous: Investigation of the

Proof of Equations used in Section 3.3



Dave.Laurenson@ed.ac.uk