Isabelle/HOL

Link to current version as described in http://www21.in.tum.de/~nipkow/LNCS2283/
Merge pull request #857 from diekmann/patch-1

Isabelle/HOL