# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 1009168c461f207ef8bd3685dff7cb7e2fe9d16e
output_heap: b42ef79b93ce1532d54e350b8958d563eeaa3fd3
uuid: 0203dfc9-70d7-423c-a0eb-172f4990ab38
input_heaps:
94e2b66d00b77875014d997ac2abf11a8e903784
18be5846271af03e56b22434e2d70261152d1227
d9a46cfa24f3a848167675ad12d9530e9c5145a6
c50a307d4a2b66a693bbfbb79db2b4779d8a0e0a


