Changes to fmk.tla and moved to the TLA folder.
Merge branch 'master' of github.com:SyncFree/WP1