# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 3c0901ddfe8a2357073f06e6ef4149eb6194d2c2
output_heap: 7f8422ea3005f8cb4cc46507e97153314101fa8a
uuid: de08f149-4ef7-494c-b67c-522a1d9789f8
input_heaps:
a4cc56f347bef96df112454c282b70177f6a68a7
4e9596f9263a14a76ff98a57cfc31d0464e8134b
ccb906bbf7d2c0088aacce5c05e6faf30061923b
979ead9585b9078300ea42be5b4aa7abb800e08e


