# isabelle_session_info

session_name: Architectural_Design_Patterns
sources: 4dc863c76fc04b3d0b0bd837b3ce530820c00b1c
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
f68a72c977425ca249c872eac11835e5323c220c
005cb0de6b39b5f1f9153f1dd6a340ee1f098f94
43cc344025a5b3f9e9a5e56542f5af92850eec11
b232f9e003d3c1b0a832403063f05d98a9c4c48c


