# isabelle_session_info

session_name: Noninterference_Concurrent_Composition
sources: f564775028e60e422af5295b2f95522ecc6f878d
input_heaps:
02339f27a0d9de61901914e2709fdac8350d3cd8
7fb9b098cdf9ef9042e54a79f154a8576f8ad951
ddb19ef5663df195c321786780dbefb7fec1a702


