# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: e09d4f90745b618ef446120a9812f009ad03f68e
output_heap: 2651fff3c63dce8988637e837d22fc1706f6ee64
input_heaps:
a49e8b9b6dc4d6ecd45781a45084b9da6a4a0f95
685096bc14933f70ea5f8817de1a973d7793c3cd
8175095baf4c93baf3948d5dc4156f3c76a8d4b7
2377c242ee1d0dd6ba2706ac80b407b0ce541bde


