# isabelle_session_info

session_name: Noninterference_Concurrent_Composition
sources: 6da5a4336fefa53634ccbcb223954358aec7612c
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef
d7a26cd7072866ab2f9d3172a9497c82804eb73b


