# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 550724c3da33d0ce0b7fe4a93ba0f5a911d8ec54
uuid: 44b17cfb-961b-4be3-a699-2f8b2c5a7537
input_heaps:
8bf6d6c4ec5c362fa65ec69b5eb9f99879813db6
d114ea8585affa1ead63c6f741e34ff76a13097b
1f940904e47179bdc7f94b71d87fcc4cb5398a50
61e9d2abdf16f090e0b5280edb4cf2aa2dced83a
077b6b98944afe7e0ce116602dae450940a84fc7


