working version for Isabelle2014
changed for Isabelle2014
Merge pull request #5 from spechub/Isabelle2014

Isabelle2014