# isabelle_session_info

session_name: Noninterference_Ipurge_Unwinding
sources: 4e4a99c964b0ae095e0b2aa781811d706998e258
output_heap: f226b81743017c143ae5336d4e830456cc0fe209
input_heaps:
13f786b8f4762c1203e3da5c15d634b6876ecf36
7ac514d3394501c5bf6707600eeac5a1d30a5454
1a3d0788e2bcbb546fd0c49bc2da62531332ade6


