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