# isabelle_session_info

session_name: Nat-Interval-Logic
sources: be8b3365651a84186c65d86de99ae5e03f7640d9
output_heap: 62af2c31cf627fdef701549fb171a19516e20d07
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
a29a84bba8aa29c804c447ecf6bc83360b3be33c
402ad8d10c053d7ab99109311f4289da20bbcf70
9a04bd020459bf261d6d4486a0ae36628b639695


