info.hupel:multi-isabelle (maven): multi-isabelle
Keywords: isabelle