On Shavgulidze's Proof of the Amenability of some Discrete Groups of Homeomorphisms of the Unit Interval

Notes that elaborate on the details of a Theorem of Shavgulidze that implies the amenability of R. J. Thompson’s group F.