# isabelle_session_info

session_name: Noninterference_Inductive_Unwinding
input_heaps: 8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07
sources:
2752838db24f4e4ef7453a20d6c287eb22834a03
4e684f2e08e3f6df8919031dd3f14765925e7821
63b9332e0c2b071f8797a7aafcddf15a927e077b
835d5a158ee526b126a6f36bb09d4747c6cbb44d
a0209cb008417d27a08a814859edb9db1cc1f428
a6b094d614f8a6b947a18a52dcf98ae62ce29df3
c571be726e2b51d61550b43ddefaa284ff8eccdb
ef1da747fe28e872563b4d4dd6ad351a77b9924a


