# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: cc468058074e73be6452fdb71782d3483f46efa5
output_heap: 50a28daa2a5c938b9f32fc79c35c97e7b538c961
uuid: af009a20-abec-407c-a247-699e181a242f
input_heaps:
57c0f5e026d063dde70715052c371cec902bf3d9
4dad8d5a2ce1d7720f00f928eedc0ec02a1f93e5
afdd3bdaf0a6c6750aa59f473cc890c460f5d8da
e74de8a4d3ba30e3fd07b81bd59da0ef755a9a86


