# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 6d2e0bb1212bb7a35deb5b6c98035a4796d33979
output_heap: a09ecc707c0d22b6dffd0e5b28cc7536f0305f44
input_heaps:
e6d6fb0bf43d2a1b0c6a5a3670d17677a7f6c45a
d77087a1ce98fcad9061f403d284fcd8d9806c12
376170ffc1434c396b8a21ed5b73211836f88817
8eabab38ea28a0df190b256a0c86c8d091a17a2f


