# isabelle_session_info

session_name: Nat-Interval-Logic
sources: 21595331419e230c0ec5a9e1217fd5c4b42a5703
output_heap: c2aeebcfca34cd44f29e6d27695633d923386a35
input_heaps:
a1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540
913957767197f7ae8858d375e22f8b0e424144a3
a9fdffd633f8437f7cc705ac0a290ba020d4f213
4df157c1ec4421b4af08cf58d7ba59d38a198ed3


