# isabelle_session_info

session_name: Noninterference_Concurrent_Composition
sources:
625c9b5de81f88f8a6c956e25ab307d801f15121
64dcc044475b6dc94e7778cf67c02785b0bf8362
b07a3467ef8b31aac8c10c2bc04221d4d97215a7
d59aabde97feb8b443de5c36e73b352d04a57228

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
6e537c63d802c0bec001927b9eed65abb991ddcd
1a01533f8734105b374a66f82dc93b5949d1a3aa


