# isabelle_session_info

session_name: Nat-Interval-Logic
sources: 40f023ce299e5acd122b8b4b1b4dc5d3ee9cf3db
output_heap: 00c45bab37daa4a5ece0b886f4651b65f02986f8
input_heaps:
02339f27a0d9de61901914e2709fdac8350d3cd8
7fb9b098cdf9ef9042e54a79f154a8576f8ad951
e18eab774fca0e276fd5ccc2347f5041793d975b
c49355222676f72bf4c0836c0a692430bd00a0cd


