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