#56 (Feb 16, 2016, 9:32:09 AM)

1. merge (detail / hgweb)
2. fixed pairwise property proof for COMB (detail / hgweb)
3. fixed pairwise property proof for MTF (detail / hgweb)
4. removed text from TS (detail / hgweb)
5. finished proofs of pairwise_property_lemma (detail / hgweb)
6. added lemma Lxy_snoc (detail / hgweb)
7. removed text from OPT2 (detail / hgweb)
8. removed text from List_Factoring (detail / hgweb)
9. removed text from OPT2 (detail / hgweb)

Started by an SCM change