# isabelle_session_info

session_name: Noninterference_Concurrent_Composition
sources:
623f464a1885b937d61b5d7e7137decb83de90eb
625c9b5de81f88f8a6c956e25ab307d801f15121
75524b2b08f55c5050db1fb3554fa6d120b22e31
d59aabde97feb8b443de5c36e73b352d04a57228

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
2eef582600f0dc276c8973af3eb459f3fa2435cb


