Isabelle/HOL

Link to current version as described in http://www21.in.tum.de/~nipkow/LNCS2283/

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)