# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 526380865f684294463ae2fb49c8644828471ca0
output_heap: 3ac852908dbbb959e5fdd013182c5931e003b0aa
uuid: ac4c6efa-6930-4313-987b-d4c2c00507e1
input_heaps:
ea3ccdeb1f4480eff1d2d9d8612d8489cd4649db
026635fcf622a0baee3b1ebb1be23d47218acb87
ea55cc6d20ed0b560f63ab5dace339389b200e4d
5075449c25266d48d60ebde163d397c2cfbc4538


