# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 550724c3da33d0ce0b7fe4a93ba0f5a911d8ec54
uuid: 225d777d-28a3-4f67-ade1-70b54c4bf6a4
input_heaps:
b2c9ee63d5fe16cd978c564d494a9c11f37d0e75
5e62c0cb0100aec33c186f91f5546684a9cc17b0
0e35e761c765ebc4bd583aeca7032f08719dc8fe
579d4ecc1bfac188cedfe68bfba80e28c7bc65c9
9537541295ebb16334b5fca81c4533bbbb149ca1


