bin/isabelle-process
changeset 26376 1aeabd85866a
parent 25645 b2ed983a5e80
child 27201 e0323036bcf2
equal deleted inserted replaced
26375:234f10289d97 26376:1aeabd85866a