# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 6d0c041cb1d9b55acc15f72773e50ca91f147d6a
output_heap: 563bfd47f8fadd96a260e642acf33093bdc7e85f
input_heaps:
069c9ce34574a9d180b675661212e7d3c60137e9
6c6d87ef68588b18c4100f1ded4e7f9d6b048679
e1db8f314e31101221023c45ab5accfa74bf6ab7
92590d0c80349000a5b4a76b11c98b68c7ba603e


