bin/isabelle-process
changeset 55604 42e4e8c2e8dc
parent 52056 fc458f304f93