# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: c8720b25e2a0753c3fa441a468441ed1867f20c4
output_heap: e6e691730e9d4378ea56fbabaa177d98d9c65401
input_heaps:
74eab28ea8da34ee4aab975b64b0bf23a196307d
5a1b5ba83b73501af4f4fc7c4ccf60a6f99ce620
deb90c54a17bea820f92cdbe6da66f52da2e9432
2437f9b96a4fd4e9c4e164cf899f240a4d5c2858


