# isabelle_session_info

session_name: Noninterference_Concurrent_Composition
sources: bac396f7c5dc2f9d85f3a1cde9d40658abef432b
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
05a03eacc3059078cac786ce4b0187a596b54f20
f00e5786daf9bf48c4b6e6f8eca54870b7ca8928


