# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 5694b968f32ec70825718f7f1926648e2773a630
output_heap: 8c732b75c050f19753915de933c0a6a89ed3b18c
uuid: adf75e51-5e99-412f-ad28-6b309c21a830
input_heaps:
8c2ad67f41d2a030f0393e2fbd1c88a540b55845
2fa6c96befd2c17f29a768fc6a6e8049b259612c
68fdfbd68244a9601fd52de5f492afc81d3b228a
c1d1b89d067587f51e7e26400d662871d76a0f33


