info.hupel:pide-2018-RC3_2.11 (maven): pide2018-RC3
Keywords: isabelle|scala