# isabelle_session_info

session_name: Nat-Interval-Logic
sources: f16c089289c332d89f0f2777e2fa3636633ee425
output_heap: 19f845e75a2e4cd91a2d1d4424bef9d7e5519725
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
6e1fca943c4c583766dbdc0dfc914d2481cb449c
a5aabe3b6786583f5f5b4593bdf823251b9a1bb2
845705dedec4c5dacf8faa7c1d9af3a59dc70691


