new isabelle proof package