bin/isabelle-process
changeset 26366 5c089f4219c2
parent 25645 b2ed983a5e80
child 27201 e0323036bcf2