# isabelle_session_info

session_name: Architectural_Design_Patterns
sources: 0dbb98155ff29396861d8d2ad6947960e602e549
input_heaps:
9667212091580fa4c30a7b10e6591774082fff36
af6044d1ba548f70bd68d24705f8ed6fb4aba65c
6bc7163ce4d3b4f24ad4dafbbce0bcad4ed1ed32
d2068ccbf34abcae187720d402926b26de3cff8c
b53f6e5d090524f6bddf70267c630c8fb565b2a5
90d8e9e5028186fd6b8157714cb9e55eb443d9fc


