bin/isabelle-process
changeset 21994 dfa5133dbe73
parent 21639 8ab7c4dbb524
child 25504 dc960d760052