info.hupel.afp:afp-2016-1 (maven): afp2016_1
Keywords: isabelle|sbt