doc-src/IsarAdvanced/Functions/isabelle_isar.eps
changeset 26345 f70620a4cf81
parent 21212 547224bf9348