# isabelle_session_info

session_name: Nat-Interval-Logic
output_heap: ba2153dec238b8fe6a6600cd5bf3f997ad18ad58
sources:
01ab61f64fd5c45a27800acce6b9886e23c498cc
45ae6f75f5ed99d198dd6591210f767f7f7816aa
5960a95f95a9bb6d8ced45988fccb935e84b0894
f0c1a83c5d8b26840edfe58eb67fe2daf2664e68
f82b4b01dd76df97e79e913d48310d9d32ffee34

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
6e537c63d802c0bec001927b9eed65abb991ddcd
f6925d5ba347f030568cd8e7a62478e287f17a31
5df01ab665274d7018db16f0165923fcefcde9f2


