# isabelle_session_info

session_name: Nat-Interval-Logic
output_heap: 2b7f5243f8da4b6a6e47f6960f40476da862fc92
sources:
01ab61f64fd5c45a27800acce6b9886e23c498cc
45ae6f75f5ed99d198dd6591210f767f7f7816aa
5960a95f95a9bb6d8ced45988fccb935e84b0894
730569b1aa21eadd21dc327948e64f37b8b3d203
f82b4b01dd76df97e79e913d48310d9d32ffee34

input_heaps:
b9c0e8f4a3ec48522e3484ee292a510c958aa05f
7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
6c1e2e695a2f0575bcb7e67bc72be34591789107
3f269cd6667e0c5d446c041c48892d71abd29d81


