# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 6c16c66afe0ef318bd4c4d4925373647f3e77d45
output_heap: 4d665ab0ed3070766aad531c0a4efa4d4b908efd
uuid: 8a2fe589-fa78-4563-a083-13ea9c564edb
input_heaps:
52fce7a083032aa70183a50f999e2868f79e2148
694680bfc6768bb59cd23ad51623a23d40ef82a4
7dc84cce36e99488cab9a50bde2c312f710bd06c
7deef06000f236c2a88881b76f85775cfb7a776f


