# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 8d3ade4db5d2fe196e506f2baa19e7f73f5c7cb2
output_heap: dae7303c21da10a13ea337f8d0fd4d6bd57e2cd7
input_heaps:
ed49615d0f34d882905c1347e93972344c93c592
18a74e1184c98f28794864630d3eda03f7ec5008
85a3031c01b9afe036405074dcf537dcc35ce904
c9d03173b727562f290c8ebceb9e4b7bc89c7233


