doc-src/gfx/isabelle_isar.pdf
changeset 7039 cc77b467e082
     1.1 Binary file doc-src/gfx/isabelle_isar.pdf has changed