concrete

concrete

Concrete Semantics: With Isabelle/HOL by Tobias Nipkow, Gerwin Klein