# HG changeset patch
# User wenzelm
# Date 926092172 -7200
# Node ID eb87300379fe290c66900e6622d8d2c163abc29d
# Parent  f72f560af0a198cfc024f7ea8715863684a8b836
pdf pics;

diff -r f72f560af0a1 -r eb87300379fe doc-src/gfx/Isa-logics.pdf
Binary file doc-src/gfx/Isa-logics.pdf has changed
diff -r f72f560af0a1 -r eb87300379fe doc-src/gfx/isabelle.pdf
Binary file doc-src/gfx/isabelle.pdf has changed
diff -r f72f560af0a1 -r eb87300379fe doc-src/gfx/isabelle.png
Binary file doc-src/gfx/isabelle.png has changed
diff -r f72f560af0a1 -r eb87300379fe doc-src/gfx/isabelle_hol.pdf
Binary file doc-src/gfx/isabelle_hol.pdf has changed
diff -r f72f560af0a1 -r eb87300379fe doc-src/gfx/isabelle_hol.png
Binary file doc-src/gfx/isabelle_hol.png has changed
diff -r f72f560af0a1 -r eb87300379fe doc-src/gfx/isabelle_zf.pdf
Binary file doc-src/gfx/isabelle_zf.pdf has changed
diff -r f72f560af0a1 -r eb87300379fe doc-src/gfx/isabelle_zf.png
Binary file doc-src/gfx/isabelle_zf.png has changed