Add Isabelle, version 2014
Merge pull request #6060 from ndr-qef/isabelle

Add Isabelle, version 2014