doc-src/gfx/isabelle.pdf
changeset 6616 eb87300379fe
Binary file doc-src/gfx/isabelle.pdf has changed