initial commit
added readme
reorganized code
added comments
Merge branch 'master' of https://github.com/SyncFree/isabelle_crdt_verification
readme + license