# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 5905a9fd465179b1a021b0ff46bb3cf49bd86338
output_heap: 8e9a48e558c89a266281ac5b900474ca05f7e86b
input_heaps:
52d8c32203b389e63cf65ed6c04890deb1f216f0
37d524dfaf95620c05ff0c9a93e869a905c54743
bd8ba616ec351d2e4502438320f421dd6cf95766
8899479d74db92a837fecbfafd89589ddfef832d


