Merge pull request #857 from diekmann/patch-1

Isabelle/HOL
Concrete Semantics - A Proof Assistant Approach
Merge pull request #858 from diekmann/patch-2

Concrete Semantics - A Proof Assistant Approach
add angularjs resources