# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf735651
input_heaps:
c367f42b288d7566b73a876ed41fff0a0246a83f
c86c3026a7fb52d1da0c71879dea806b0326d834
405d10d4435a2c600b0bacb5ee0c08bdc6eb35f4
6cf376489c79b3c34a49d9c7de6165e7e0c4a1d9
3e466d98754358bf46e7621596a2b92f285da781


