This is electronic supplementary material for Marmsoler's article "A Framework for Interactive Verification of Architectural Design Patterns in Isabelle/HOL" for ICFEM 2018.