# isabelle_session_info

session_name: Noninterference_Concurrent_Composition
sources: b11940b0a03d94332f4106861c7ebae9f40e4a30
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
79764dc49c42e04d2f2d7022e68e8df538e9cc73
1d61fc8b2328218e39a6b588732ea83a8dd5e8c6


