# isabelle_session_info

session_name: Nat-Interval-Logic
sources: 10ee3f212442e45c62970658047ee8beb817c192
output_heap: 75c4e4e66e4280714ab9cbe60c1d3576907f6265
input_heaps:
72476e49faf5ae81b565cd9a808c77e6c79a7cd3
1847274f423d78a61f6a5c9cd14f9851aa9995d5
8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28
4f841d48a26b8459b77bf531d8bf19c29c51e76b


