# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 57f87997ae68237de10e0f3abba1ec02278965a5
output_heap: 574e0434dfa9b9388430037d65ab74e5b5284f8e
input_heaps:
341573a915193db629e8d127a9a53502c8309b6e
9e237ec730f89ae65421631a0a1ef3d055f5d625
76a013833eac43a00f0f01bc7c1c66e403c8a835
0f2d31ff53b30fffaba3b29f2347784559f79b1f


