# isabelle_session_info

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

input_heaps:
07addc2441fed9b50c84968593d4ab6a353bb724
8db62e28615d4e139a28fa3d5b23cc3a3410b988
2c8670420f1e217147d01cec9bd2eec9fdce3aa3
31c008ed4b4c5eda7aee0f5927662eb9ce527e99


