# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 2886abb698cdb8d9645d8d4b7e892e812df270ff
output_heap: 3e138946ea1e3ca0aa0368cd9c6c8e20abbdc825
input_heaps:
9d98e7572661a1502ccca3e0adfad8c7205ee347
9212820f8b5da3e03e0e4c4edff6a3ef6f7425f5
bc7285075f2b3f8608f2e33435f62562007e562a
4f4c62d25fda9dee2c31232260a006326daf3115


