diff -r 5370cfbf3070 -r 547224bf9348 doc-src/IsarAdvanced/Functions/isabelle_isar.pdf
Binary file doc-src/IsarAdvanced/Functions/isabelle_isar.pdf has changed