# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: c2209638edd2af5a21f03022babecc3582fd7130
output_heap: 1d22161b1fe5349f4a63ad6065a7494c1be4bf19
input_heaps:
1c609249c248beb27845e050608bb1c731bea640
eed88ec53d7b43e3c68dcbe53660c1742a20e707
219db3d16d158c8a6eaa2a55b8371d35f70cb715
fc0f26215a871e8d338060b30a4f50e87c4a0e79


