# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: f87db10f5bc0ae4d63845a47c7527b257a5d2038
output_heap: f04e77d85ac2093b10b9b31c9c2beff0f1b5aacd
input_heaps:
ba9703b8d89941ffe014c15e6ddc671ed32d9999
100b23f10739ac1b172eccb60c813bc22e9bd494
5db1b95e54d8648ee14dbbb91802b741cedc9545
923ddd484db72a868dc8f43dc408c2001134ab90


