# isabelle_session_info

session_name: Noninterference_Concurrent_Composition
sources: 93b6459019ad6f96312c553ea4e24aab1676b5ca
input_heaps:
a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b
246f6e81708adcf47b424e236c7a30d027d9b852
3a08a1585a20545e83eada444c5af91ab4059601


