# isabelle_session_info

session_name: Noninterference_Concurrent_Composition
sources: c8e1d11aa0aa57a3dfcc1645dc928adc917e03a9
input_heaps:
8ae0489170ffa4e9aeecb054da5126bd23bcab2b
a42132ca83816d0082ab6b716aea896bf4d99d0a
b79162202f26ee82cb4b17a8890cfaa6221051cb


