# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: fd6a841e821c1acb32d056d8384cfe185542e617
output_heap: 9537541295ebb16334b5fca81c4533bbbb149ca1
uuid: 8a36aa60-e1ce-4d13-a619-67aab0fec3c0
input_heaps:
b2c9ee63d5fe16cd978c564d494a9c11f37d0e75
5e62c0cb0100aec33c186f91f5546684a9cc17b0
0e35e761c765ebc4bd583aeca7032f08719dc8fe
579d4ecc1bfac188cedfe68bfba80e28c7bc65c9


