doc-src/gfx/isabelle_sledgehammer.pdf
changeset 48497 ba61aceaa18a
parent 36926 90bb12cf8e36