bin/isabelle-process
changeset 26341 2f5a4367a39e
parent 25645 b2ed983a5e80
child 27201 e0323036bcf2