# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: cca9c408ccb8839e9905b2ffdc9b1fa3a3a713f6
uuid: b9f0056b-f831-459d-bb4d-8dec22487844
input_heaps:
8df50127213185778a4a4c5b050bef9240f77dfd
3d3019e1afe9b4e31646789899316f60ddaff486
0539dfd1d3eb1a60bbcef9beae4a0acb5bf0c989
ae5e35c24384a205fca0f52b7f8a56e2820d81d7
3a25945d969c26fd876464721cdb01f6ede6cb76


