Isabelle/Nonuniform sessions