# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 8c2d5e0dede49769deee9539ef531b16681f8fa0
input_heaps:
6ccf3784ca06017dd464fef9ca771f74833a3d84
f48c6e7ed3e3e7c579806006e532e60580ca3e78
c63be61ed8edcc6b3e3886b0e29d912fec85e0e2
7e1456178532a6ad3cece15c3806ef0adfd7f0af
3359a77e623130e73bf2e48545d8681d2bf5ecab


