# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 9f9d20515f56314dfb3b2584b3860d13441b8c71
output_heap: 5044fd618eddb8a3736e454d9389006473bda32f
input_heaps:
c3292d618b9c65e2792e518c1331e1f69ad60c45
f791bb242b66bfbfdbe66ba3e74f7f13b3a634a7
9d106d364181bcb1de669dcb654b6a4bbc29cda0
77aba4f12bf221e817950166614c8617a3d70902


