info.hupel:pide-interface_2.10 (maven): pideInterface
Keywords: isabelle|scala