info.hupel:pide-2018-RC4_2.12 (maven): pide2018-RC4
Keywords: isabelle|scala