[kb] Structs updated
[kb] System descriptions in pdf form added
[kb] Formal proofs updated
[kb] nrel_main_proof added
Merge pull request #18 from ShunkevichDV/master

[kb] System description updated