# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: c62e890937070e3a471989ebdc6d31c53630044c
output_heap: 2b0e98ebe3a5222fda8b5eab9b2fd877c30858a0
input_heaps:
610e66d7bbbf591f95ed39af4ee9deb5317eaac4
91da0f421d225cc41f5e7cb69d4a2edf0de1d483
367ed706fe7ae1fc32c43cbb150c9195e1f846cb
803c81abf0cabbfb9987bc7d10a6d98fa085e2a7


