sharing of heavyweight Isabelle sessions