# isabelle_session_info

session_name: Noninterference_Concurrent_Composition
sources: a2b7a9772576437c7323ee48b5407b213b256ab5
input_heaps:
c3d726d89c950dda47a94cd6c59e05975f526e9c
4182a48763908451de8961309829ff336f2a9af6
713592ab2562adbe0d797de81a3d33d6d59bb5f8


