# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 9ce8681effc7887607bf756ea59d1513ce457f5e
output_heap: 17772e7623a503868f9e45b4d1407e5fcb99d269
uuid: 59b7cb4d-5408-4743-af3e-a235e2cf5be8
input_heaps:
993eb6fa3b516fdd7b7b2572ecff8a2946f70eb4
81855fd54aebed115a45643a126470a727632716
f41e60420c286d9f824f457ca796f7053aab44e0
84f87d41f39b2a50674715dada74c76aba5d3863


