info.hupel.afp:afp-2018 (maven): afp2018
Keywords: isabelle|sbt