# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 582877fb665dd0bd61595606fbcf89f79f0a88aa
output_heap: 5c3e54c3be1f308bbe010aa0b71e551847e6d560
input_heaps:
20906430ec5c0933a7fdffa792e81b426e844298
9a78859f8ec1536e91dabffd5d8d7336fce93827
a4be5b73f229f71dd6a0db24b47a894124362cc0
0b087070290ba36331797226051e0398dc5d51c8


