# isabelle_session_info

session_name: Noninterference_Concurrent_Composition
sources: de090129364300e0fefc149f9c19a0d83898e269
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
dd820facb07e73b2c93e51e4d0b3041a08b59568
eb6ed061d4e24fcdf33c28e8578ccdb116d680e6


