Isabelle/IsarIris sessions

        Experimental partial port of Iris