info.hupel:isabellectl_2.12.0-RC2 (maven): cli
Keywords: isabelle|scala