Created Isabelle folder with first implementation in Isabelle