# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf735651
input_heaps:
17173316e7fd51ccc7d837344d706e6354f379b0
2729d3aac5cd6430bd50f2082c123b3cc786c855
81ed277c34e04179265b0541817716e090ca9911
efd2610dc850726e5888b368002ed785f521651a
08b2eb3574698552e5bc9f873a3f8b2230802306


