# isabelle_session_info

session_name: Nat-Interval-Logic
sources: 620b5c68cf25ee5167a9a6aa6b28d243c10e88ba
output_heap: 976d573b71ada810fbb706b3aa4dab5cd56bedd6
input_heaps:
97833069aaf33e80bb8bfd493abc152a39f1dded
dc78b241718cbecaa21e6c3d43f6dadbec9225f3
5885f1f569201b0b462a9f3f8b1e15c36a4412b9
7f9449a038fa63865816c4c8921e62803f9c14e7


