# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 4bd4a1f4a21d5d5ba064263605a989af3f3e0d26
output_heap: 12fd30319f302f1bca568d555ca7b8dee3040078
input_heaps:
17c25933c8a796b55f879d9c40846151021157f8
aa8285a4d18518a93d994f653c38d76ef76976b0
e6c7413cbd6343b824e3f145f1634385d35371e1
13a5e35744f6f1ff0b9d77cf73ff0996e587b0f4


