# isabelle_session_info

session_name: Noninterference_Concurrent_Composition
sources: 607166790a40cd853f5666eac8e9ac7b0cab3054
input_heaps:
31f92072f849172c668aadca4c36428f18253840
bb6d91cc82c83410f56f890ddd921ae98427d5a5
73e026207c58fb226ee0621f8c41c0664cc6d322


