bin/isabelle_process
changeset 57419 2b8b1a8587da
parent 56628 a2df9de46060
child 57581 74bbe9317aa4