# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 6ac5a8e42be236e902d17bdfac6d23ce07f7184e
output_heap: 3e19be2a9a7b45ef64e0de14d72ac5217016d9dc
input_heaps:
94cf8b22e7b9779302e83823a3f9fd89964c17a2
11c8c0764fd3d166093177f08c28fea735200be8
8ef08a40b4fe56919623b80845ace902de3f9da4
734e0b7ebcb90f80a9da505f6024b09defeb45ce


