# isabelle_session_info

session_name: Noninterference_Concurrent_Composition
sources: 53b7e5698374728b5204a16e374122775fc71352
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
9491a640ee6bf72e55d03587fe1b9576e97fef2d
b563848e4c4c9879f6731c4a3e8f9f2baf9cdf62


