# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf735651
input_heaps:
4dbf67159a593b2086dfa23682656ac9bdef67e9
e685f0313d3d431de5462d46b1d0468390c590ac
6d63624117467d94cdbebd9346cbbae0f211d11c
17dbba6a4ad374d96e5ac8d0ac043c9db079b6d8
d696944b8c7b0052de0f2291af0484e73580e77a


