lib/logo/isabelle_transparent.gif
author blanchet
Fri, 27 May 2011 10:30:08 +0200
changeset 43036 0ef380310863
parent 3799 d00f6460ac4d
permissions -rw-r--r--
more Sledgehammer documentation updates

(binary:image/gif)