From f1ef5bbde3f4f64a43a8e4c14800433950e43223 Mon Sep 17 00:00:00 2001 From: diekmann Date: Tue, 8 Apr 2014 14:25:31 +0200 Subject: [PATCH] Isabelle/HOL Link to current version as described in http://www21.in.tum.de/~nipkow/LNCS2283/ --- free-programming-books.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/free-programming-books.md b/free-programming-books.md index b04a7663..0a54d748 100644 --- a/free-programming-books.md +++ b/free-programming-books.md @@ -49,6 +49,7 @@ * [Icon](#icon) * [IDL](#idl) * [iOS](#ios) +* [Isabelle/HOL](#isabelle--hol) * [J](#j) * [Java](#java) * [Wicket](#wicket) @@ -899,6 +900,10 @@ * [Start Developing iOS Apps Today](https://developer.apple.com/library/ios/referencelibrary/GettingStarted/RoadMapiOS/RoadMapiOS.pdf) (PDF) +###Isabelle/HOL +* [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) + + ###J * [Learning J by Roger Stokes- online](http://www.rogerstokes.free-online.co.uk/book.htm) * [J for C Programmers by Henry Rich- online](http://www.jsoftware.com/help/jforc/contents.htm) || [pdf](http://www.jsoftware.com/jwiki/HenryRich?action=AttachFile&do=get&target=JforC20071003.pdf) || [word 2003 file](http://www.jsoftware.com/jwiki/HenryRich?action=AttachFile&do=get&target=JforC20070929.doc)