First version of ARM lemmas
holmade done OK
holmade done OK
fixed the ARM path
Merge pull request #132 from nargeskh/master

ARM Secuirty Lemmas Example