Merge pull request from diekmann/patch-1

Isabelle/HOL
This commit is contained in:
vhf / victor felder 2014-04-08 14:28:04 +02:00
commit 77943c89cc

View File

@ -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)