# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 5b195e9dd6efee2e63c7fc5d2a5ee81055188cc2
output_heap: 73f024557f82598fae48ef30746b650acdb6e0cb
input_heaps:
5bc7b8609748a10319dc3892a3dee59fdc4e228c
8d4321ea3a63542efcc2eeabd02c563b82b91bad
d7bc99ae45fca7aba1a9b28b0f37cf0a9d0057e7
98cfe7110fadc02510d906757053b6e09f4ab532


