Initial commit
New entries
Initial version of D1.1 in GitHub WP1 repository
Add original read me file
New references for D1.1
Rovio:  The verified_values does not contain the host value for the node in question. Therefore we should multiply by N, not by N-1.
Add more info about Mark-Counters
Add some links
Change names to more descriptive ones
Not needed
Use definitions with more meaningful names
- Move general terms to the "Use Cases" section so does not need to be defined for each use case
- Update some of the representations to be coherent through the document
Update image for B2B
Update B2B image
Merge branch 'master' of https://github.com/SyncFree/WP1

* 'master' of https://github.com/SyncFree/WP1:
  Add image for B2B
  - Move general terms to the "Use Cases" section so does not need to be defined for each use case - Update some of the representations to be coherent through the document
  Add appendix structure to document
  Change some part of the representation to use more words
  Build as a document
  Use longer meaningful names
  No needed
  Not needed
  First commit

Conflicts:
	D1.2/figures/b2b.png
Add formal representation to the FMK use case (in progress).
Tidy up some of the other files.
Merge branch 'master' of https://github.com/SyncFree/WP1

* 'master' of https://github.com/SyncFree/WP1:
  Add formal representation to the FMK use case (in progress). Tidy up some of the other files.
  Update B2B image