# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 8f01fc59d55263b72637e951901b4b9f74e11ab2
output_heap: 6b0fa7293f1fdbf68063a1e4e4f1c1b3786084f3
input_heaps:
8a4269a42aca70396b3fb4cbd3bc25030d219b39
83f4ecef7c63c228d52e5c4edbadb14ee6b7fc2d
49cdfb4a7f6e982b095373f190b19532427844c8
0204e6f779ee7d81163b76e9291e023f2312cea9


