# isabelle_session_info

session_name: Noninterference_Concurrent_Composition
sources: e90fb6f8b209fce5dd815dd79dc375662ab20f49
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
d6551f8fb6355363cfcaa274f626f462f0221e35


