Listings from isabelle.d

slide up dialog