# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf735651
input_heaps:
1e75038958649eff204a1d23d70eece74287e586
4990e580d3cd03b77872d61c560fce401dfc8a62
ecc9d5248cd2222208ff721b3b59dba57e74b08e
f8cb5541abb3479f0be839aed3a6a7c0c496386c
c942b6ea37f01cd1759f844a3753de5c70f6cf9f


