doc-src/IsarAdvanced/Functions/isabelle_isar.eps
changeset 23706 b7abba3c230e
parent 21212 547224bf9348