bin/isabelle-process
changeset 26376 1aeabd85866a
parent 25645 b2ed983a5e80
child 27201 e0323036bcf2