initial commit
added readme
reorganized code
added comments
Merge branch 'master' of https://github.com/SyncFree/isabelle_crdt_verification
readme + license
readme
Merge pull request #1 from peterzeller/master

Isabelle theories