info.hupel:libisabelle_2.12.0-RC2 (maven): libisabelle
Keywords: isabelle|scala