Isabelle Formalisation of Original Representation Theorems