lib/logo/isabelle_holcf.gif
changeset 10929 ccceb5fb517d
parent 3799 d00f6460ac4d