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