info.hupel.afp:afp-2019 (maven): afp2019
Keywords: isabelle|sbt