diff -r 1fead823c7c6 -r 6e15de7dd871 doc-src/TutorialI/document/Isa-logics.pdf
Binary file doc-src/TutorialI/document/Isa-logics.pdf has changed