Changes to Formal Specs
Merge branch 'master' of https://github.com/MisterStabbeh/CARE-DB