# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf735651
input_heaps:
14e15f9d1f57ff65395530877896e5591cf430df
f2d7a3105e54348bfa2b8b877e952da9878a209f
46150c4121ce3e8fe7548f022e91914953c7b496
778d0d8283988e8629a15324395f05d95865c9d8
800d8bf84505b74e872236ce89ea34af034c99ed


