# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: b69af9d0f5db60082cccef54d61e34c9e0b46fb1
uuid: 6841a105-dff5-4101-afe0-f45a8299e237
input_heaps:
9b8ffe94a37cb7ae88c6a0b5fa799ce2b573a390
5d260ccc8b85a4358fed6437849656cd81132922
be15db7cf5921b29cf780d4a08d94f2e26a813a2
16fb43e68e0af64cbb4f35478d28e31e1edb6d4b
e9301b466107ff77fd814da2929531523ea21f5e


