# isabelle_session_info

session_name: HOL-Number_Theory
sources: c29f07a08c5047cb84c1892285487e6e0e41791d
output_heap: d76ad03d6e533e5986025d32ff9fd9bff0f681e8
input_heaps:
a065929dd1485620a1fe2ad1ab24aa44d802e5d5
ede8de29f8f7a2c7b32f6204d128100843065a70
cf40046c067585493ddf3eba008355fd2ae23943
90aad65bd956fcbf9bb7a472147cf3e04e9af015


