Proof of Thm2 redone; fig1 improved
Merge branch 'master' of https://github.com/subodhvsharma/unfolding-concur
Remake of lemma 1's proof; figure
Merge branch 'master' of https://github.com/subodhvsharma/unfolding-concur