# isabelle_session_info

session_name: Noninterference_Concurrent_Composition
sources: 6817c92626decf8b735623109ad31a697ef1dcbe
input_heaps:
33a9e32fd4df08287c7662d0ca60cf5ddac28356
4b353e22de97a71725acd840fcd08644cc4d74f4
8dcf5b3ae4e5f9b080330a81c513857779ee7a8b


