# isabelle_session_info

session_name: Nat-Interval-Logic
sources: fd1dcc27b44d5b3e686918c85309b1a1f406c312
output_heap: f6c2f77aa9fb080fe234dac0b0bbe22e226c2e7f
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
e9a726f68e510e4c40abbc4df758ad3bf1ccb60c
d871d21db844b5c9f0d6d8f5752b75fd3bec4d28
582cb47fa0c17163c6e7a64c822f3a3588fa4c25


