# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: bec61a8765957424a442406f3440b09669a4dae8
output_heap: cceb33fd3322047017cf29f86889d2106bdb089b
input_heaps:
98dd477b080148668828b0f67c6e8a1d9708b3f3
2dc2b5acf411764d9a49dd03e6f20aef615ae67d
acd1b5a40151b067766d2c39214b0e7386d62cea
462377fe3ee1fbca011d343562a3f5b67e8aa86f


