# isabelle_session_info

session_name: Noninterference_Concurrent_Composition
sources: 65f455c1244e7d0ee2e29ce6b098b883b952ef58
input_heaps:
e3d3de0c105787f07c71be3f3e76dafbe7c86cef
26af89b7d57c7a15a989446f8ee1ff99d4928d87
8c580d5d496a4a17c2e6b9f0f529a5389cdcef13


