[camp] #7: finish the proofs

[camp]

#7: finish the proofs
---------------------+------------------------------------------------------
 Reporter:  igloo    |       Owner:     
     Type:  defect   |      Status:  new
 Priority:  blocker  |   Milestone:  0.1
Component:  theory   |     Version:  0.1
 Keywords:           |  
---------------------+------------------------------------------------------
 Finish the proofs.

-- 
Ticket URL: <http://trac.haskell.org/camp/ticket/7>
camp <http://projects.haskell.org/camp/>
Camp (Commute And Merge Patches)