# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 4b4c56a9264a37dbe4789bddc698f3dd2981c188
uuid: ea36d692-f6c1-4620-8cc6-8b6bf5c3cb14
input_heaps:
99aa1dee31dfa0d453b64e417ce1ae8b896c3602
2d57dd9f95ebb02243d5cf26c23b4f5f995f70e2
338bc3c334e08f897fae0355c1fe3ae12b9a40d3
c45379b38ebe9ba85942f9815d20a36a563e7754
cb0968e3cc84bac91e365f24fae89e0822ab9f84


