info.hupel:libisabelle_2.10 (maven): libisabelle
Keywords: isabelle|scala