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