# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 90a9750da1104aabdaa50095dc36cb26e90e1786
output_heap: 00c545d5b98edf792b8d519142c52f0a2c2ae3c6
input_heaps:
d710d56c677e2fcd6d81515c51e8dac82cf68a7e
7d6dd39428a8b9d497f506977d40f7f26d211175
403171acd36643d7b10aeb588a0dacc657b08791
a8eca01c5adf9fe35092dca025edbcb24dee8712


