Proof add dialog now works.
Existing proofs are now shown on the fact page.
Added all functionality to ProofPage. Baring quick fixes, iteration 1 is complete.