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