# isabelle_session_info

session_name: Architectural_Design_Patterns
sources: 9800c93a9fcc24fa84660ba3f4cf65f6b9b6895b
input_heaps:
c2093642ce0e52d658430117f07a6a10f135143e
958f81e74e154e8719a792f45217a865d1da1a47
bb942e3de3a6ee0c81dc1f934c33e4250aa33115
311da8e30ca66082f8792d0561fac6558e211806
01f9b7def695edac46385b18fd5be0d3e744f19a
90a0d480a1f0a27aa088943d99d45f3ab51a9e11


