vhf/free-programming-books — pull request #857 by diekmann (2014-04-08 12:25:39+00:00)
Title: Isabelle/HOL

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