# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 36927b96a7e7d477b2e048937a74e3d7e1f0ced3
output_heap: 26c4f6bdabf0ee9b0b9d30d01fc2afe4dba147b7
input_heaps:
eddcfa062a672f0dad34c5be0cd823fee08f5bb1
6803283bac8240f6b1c8d22324fa1bb842ee176c
521298a7f472fd1887b13cd77adf687f3f4f5b78
8c7f9d12876d8fb07029c14af7eae2a1deb68405


