# isabelle_session_info

session_name: Noninterference_Concurrent_Composition
sources: 331108467e8587c5f658e3ca09a49bbb4e2ae086
input_heaps:
0dc0541b39a07c11e5774461d9bd9c4bf977ffc8
70801ef29d848aa8eb383514e684c8076c0da75a
29a0e6a60274c9804c9cc4a42c53834327a29545


