info.hupel.afp:afp-2017 (maven): afp2017
Keywords: isabelle|sbt