# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 5d1a6a930286fd72e4addbddb7ac3cb16d1601e5
output_heap: 0f312d35f3762a8e38fbda54b538a651f62a50d9
input_heaps:
0b9f738dcd88c17f4b0b601f2f1a76fdc5a965db
1f17eedec1c43dc66ce83b56da5c02a1b111f8a3
c129af4600aa0a57139d371e921ef1b40304618f
be336a7cf92185085f4389df1a75c5d1366e0659


