# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 33e8a8ebf58c6325c0ddbb3e84718d60f58e2f60
output_heap: bdd88388a11e41493b34e1fa8c85af0f4b1650e4
input_heaps:
72c151fc6d7155c0917f3fea895a6bda7ed6705b
0f8162896999212dc09d4754b77ac490ae4b56e9
8862aec4bb019a8bbfb0d8606a595e3a503a24cd
3cac8b60761b8fbcdfd20fb89350166783805f20


