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