# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: 15b137190de28aa424d30a0c0014b6f93a768d49
output_heap: 57114cdd1ede951771f386f71da9aa8fdd79dc2c
input_heaps:
8ae0489170ffa4e9aeecb054da5126bd23bcab2b
a42132ca83816d0082ab6b716aea896bf4d99d0a
ca987594077a54b1c93d405a113a27eab90364d3


