# isabelle_session_info

session_name: Nat-Interval-Logic
sources: 4aae7889a8c6e87f56a58d17bef802f4c4b1b562
output_heap: bc149950676fc98929c1d45bb044b99354836f81
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
ad6d44f7aedb014e340bd82c93157922e7ad3f04
04cba4f1d1d6359909212b7298d885c56764b5db


