# isabelle_session_info

session_name: Noninterference_Concurrent_Composition
sources: 240670f54db0d86efc62877ab82bda74ff63ad2a
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1
616b9bc00021e88b32bb482cb34b531a04badd7e


