# isabelle_session_info

session_name: Noninterference_Concurrent_Composition
sources: b11940b0a03d94332f4106861c7ebae9f40e4a30
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
c67dcdc5c11e2f7c6ff9235a1567c44a85eaeb0c
feeac0dc844109a9db7fbb19a47c7d4f44802ae3


