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

Concrete Semantics - A Proof Assistant Approach