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