# isabelle_session_info

session_name: Noninterference_Concurrent_Composition
sources: 18a1337128034ebf37afadfab6619658c7c6aa05
input_heaps:
0a2796d42ac427cc44af631a8b97f23c746aecac
d64a82a2189953e009885b82ff3fe520b1ddd159
65d6910daf9e4887b5383e1590d13b9a3b8f05fb


