# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 36b83fea6b24df7c6fdecda26a895e86cc80baf8
output_heap: 37d1b573a4c0ae3e1a37a98a49175c78e981d9c6
input_heaps:
b1229b1545e0527f3af637d3b7e4d9e29c3516a6
2e63f8b985a17038023d038a775f53bd77337d39
d380b5e860e3cc79a3f77e30b43658319d60502d
f583200aa3fccfbaf2144d9d5d52481ed564e97f


