A Formalisation of Abstract Argumentation in Higher-Order Logic