bin/isabelle-process
changeset 33659 2d7ab9458518
parent 32390 468eff174a77
child 33920 d4d430dfabc6