# isabelle_session_info

session_name: Noninterference_Concurrent_Composition
sources: 7badb79e40b3d692f4f6681557049b41568a0234
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
5fc4e321a4aa446d87b59c72e26ba2102a31a053
373d8470205d10d113ad50b2d475792a0e906b95


