# isabelle_session_info

session_name: Nat-Interval-Logic
sources: 1f6e9d99bb67b3d8057ab207971d84858d474586
output_heap: 0cdab146d17b5122fae60b9596c22bc8eb6bbd4b
input_heaps:
c2093642ce0e52d658430117f07a6a10f135143e
958f81e74e154e8719a792f45217a865d1da1a47
bb942e3de3a6ee0c81dc1f934c33e4250aa33115
5be8e3995f95717c40bd8f97fda77a134a4c5ced


