# isabelle_session_info

session_name: Nat-Interval-Logic
output_heap: 679a932ad4779d8a47a574a6a622eb027e65484b
sources:
01ab61f64fd5c45a27800acce6b9886e23c498cc
0cc10ce685b5beffb10ec897c209573e7795cdef
45ae6f75f5ed99d198dd6591210f767f7f7816aa
5960a95f95a9bb6d8ced45988fccb935e84b0894
f82b4b01dd76df97e79e913d48310d9d32ffee34

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
3f36a11d8c74ccb5219961f66c2ee8539a4707a9
258e67b6abd5fc0fa7b6103612d23688cf9c5b44


