# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf735651
input_heaps:
ac030308a074ae5a4106a9c395cd07125c2b74e2
98c521fcf9d3a1159c06ccff536f23bdcd42fe11
e53521e908b43941158a051eb7dffdc02521a159
c5b60e689958eea0271319976cf1718c649e0422
3401620cbadf41a3f20c7a7b296abe3ba624c131


