Isabelle/Pure sessions

    The Pure logical framework.