Finished proving the addition of disconnected variable sets theorem
Merge branch 'writing_the_ECAI2014_paper' of https://github.com/mabdula/planning into writing_the_ECAI2014_paper