From e72bedb3b0e18f6818cd4f852de3d4488a9e193c Mon Sep 17 00:00:00 2001 From: diekmann Date: Tue, 8 Apr 2014 14:32:41 +0200 Subject: [PATCH] Concrete Semantics - A Proof Assistant Approach --- free-programming-books.md | 1 + 1 file changed, 1 insertion(+) diff --git a/free-programming-books.md b/free-programming-books.md index 0a54d7487..154681846 100644 --- a/free-programming-books.md +++ b/free-programming-books.md @@ -901,6 +901,7 @@ ###Isabelle/HOL +* [Concrete Semantics - A Proof Assistant Approach by Tobias Nipkow and Gerwin Klein](http://www21.in.tum.de/~nipkow/Concrete-Semantics/) (PDF) * [Isabelle/HOL - A Proof Assistant for Higher-Order Logic by Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel](http://isabelle.in.tum.de/doc/tutorial.pdf) (PDF)