Isabelle/HOL

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