# isabelle_session_info

session_name: Nat-Interval-Logic
output_heap: 4fd72c93e91f26fc592bfd47570761344f6c765c
sources:
01ab61f64fd5c45a27800acce6b9886e23c498cc
2610bcdcc5de299bcea6d2641080489c64dae616
45ae6f75f5ed99d198dd6591210f767f7f7816aa
5960a95f95a9bb6d8ced45988fccb935e84b0894
f82b4b01dd76df97e79e913d48310d9d32ffee34

input_heaps:
0ba1ca971c8be00bf94431f0078936b10d2759a5
0ce03196a7222f6488e31156b520bc36971a656f
839b44e946d25f579f005d34bf2b01c8c50a8382
547b622e36b769d9eb249cfc702fd0021c612da4


