# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf735651
input_heaps:
30107fd93ce37db2bdd67b83360028ac0c573143
925f367ea52555ab30ecf3c4cc0b2e6ec9edcd76
9eb5094ea5c56f5f0e417fb357591e3e8425b5d9
0f7d470baf53307bb30d9f63f737f74e9357be07
0477ca434758857de7bd63842e5a2600e9f0a563


