modified Isabelle session structure