Added test code for 3.11.11.1/.2/.7
EA_TEST 3.7.3.1d New Permitted Braking Distance Information overwrites old one
EA_TEST 3.7.3.1d New Permitted Braking Distance Information overwrites old one
Merge branch 'master' of https://github.com/morido/ERTMSFormalSpecs
EA_TEST update 3.11.11.1/.2/.7 Speed restrictions to ensure permitted braking distance

* added names to test-cases
EA_TEST update 3.7.3.1.d

* added a second test-case to test partial overwrting of information
Resetting the files to a constent state
EA_TEST 3.7.3.1.b New gradient profile replaces old one
EA_TEST 3.7.3.1m New linking information overwrites old one
EA_TEST 3.12.5.3 New LX information with same id replaces old information
EA_TEST 3.12.5.3 Improved test
Enhancements as requested by Svitlana
Enhancemens to 3ffdd10f7fae361dbc3ab47bf2c17fc350ca09c8
EA_TEST Gradient-Test enhancements

* replace Available(FIRST_IN foo|X.Field == <value>) with (THERE_IS_IN foo|X.Field) == <value>
* added test-cases for non-partial overwrites of gradient information
EA_TEST 3.7.3.1.d enhancements for non-partial overwriting
EA_TEST 3.7.3.1.b Corrected test
EA_TEST 3.12.5.4/.5/.6/.7 Correct storage of LX information
EA_TEST Gradient/LX/PBD Implementation marks added + Requirements updated
EA_TEST mark remaining test-cases as "implemented"
Merge pull request #184 from morido/master

Ok, merged, congratulations for the white belt! :)