# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 6c060c596704d354e3d7d38502fce7d00cc133fe
output_heap: 7af8d43678f4950f69ac656c2887f7c54b95465a
input_heaps:
0b626e6938141b2b0e8fa8a3fd9f95471d3882b8
e3cf6887fe99455fea82286dd973109bce34d1da
6d77b6c53faf7a24001ac2a273b1f2ac7ca423ce
4389e3d8927556f3e05a9c14b42fe153a0e4cf15


