# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 90a9750da1104aabdaa50095dc36cb26e90e1786
output_heap: 9bde5afd6b3d8b59f26c16c2772af3a4f545128b
input_heaps:
251e84464f07fc24b34045ea856283ea3577dc88
df9db6ac00dfa405c9354e6fef96c332e793f1b3
1c6cc020ae08c3814ae7db5cbabd7b1d1367ce9f
371dc35cd43df96cd02cb7f88b9c25251b4c6855


