Adapted theories to Isabelle-2014