# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 5b195e9dd6efee2e63c7fc5d2a5ee81055188cc2
output_heap: dfadc0b8bba886001dd18fe770a628760a8851bc
input_heaps:
1f11aeb0b5cb58822b61789e97e7af2cf416f0f7
064d95192f7eed013868891c67a843698304438a
76d136fe2b1f7d0764f431c043fb81a2fa9fedf0
605ae0eb21f7e683e64e6c6163dd5bd94075e385


