# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf735651
input_heaps:
a56ee4fe6fd72e6d5d73a9cf689ea63e99dd133f
b46c7c945570a6e1e52b36230ea76c5031e8a99f
e578815caa6d7a10f008280b297fd5dfec15ebad
470b62d9326a16cc6e35ea5621720f2c7f9c1976
a73b4e3134163f54559b3333c3d85446f9950388


