# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 7bafb834468411d6f5da2b2443f629a431e3e83b
output_heap: ead3b8c87fa037e2a37b77d1a5661182305ba29f
input_heaps:
b4ade832c2d8ae0bd9580685adbbf7212199884b
6105b24e2998351bc5036e9603d7810cd4823116
57038d43d78f43e7980e86f4f772659e9c5bd558
7fbf743e96269b45a1077f2c2f08587b76e1d215


