# isabelle_session_info

session_name: Noninterference_Generic_Unwinding
sources:
22c7c96374cc8e6f12463adcfb46622f468d2e5b
9aa770602990870379c5eea22b3246c045f67f95
a2ea087c246dd1399266b38f108e1a4dc5a397ff
d9d1d3f62c709116a8a81b1f6e8cf7b541a4d8ac

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
6e537c63d802c0bec001927b9eed65abb991ddcd
377f8040b97e6d3da76e2b70dc8d1211214da8ed
6e00c0f96af0c1d03579e4eeee10db61fad69e33


