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