bin/isabelle-process
changeset 49287 ebe2a5cec4bf
parent 48698 2585042b1a30
child 51312 0ce544fbb509