Declan Thompson: Formalisation vs. Understanding - A Case Study in Isabelle. UCNC 2015: 290-300