# isabelle_session_info

session_name: Noninterference_Concurrent_Composition
sources: 57639eb4fb8888a1a2ea305de0b1757f7c9a117e
input_heaps:
a3a1775be1ea4baf5315ad6630d6c2542be8f5bb
f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e
5ef837911925f6b16781750e66c6d2ab636215f9


