# isabelle_session_info

session_name: Nat-Interval-Logic
output_heap: 8e65881c27f6bca8982c0e2d046e652f13fda94c
sources:
01ab61f64fd5c45a27800acce6b9886e23c498cc
2610bcdcc5de299bcea6d2641080489c64dae616
45ae6f75f5ed99d198dd6591210f767f7f7816aa
5960a95f95a9bb6d8ced45988fccb935e84b0894
ed565706cb400012c8b77ae725a29027d45ac635

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef
dc4b870b8c448b28d90a7ac153ac3bee95039d7b


