bin/isabelle-process
changeset 24315 09b35593d091
parent 21639 8ab7c4dbb524
child 25504 dc960d760052