# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: a1f2f20ad7c1c47a6afb69be994266ea2adb1ac9
output_heap: 323cda069a5fb6fe5b56dc781db539383a7c69cd
input_heaps:
7b8f755608c0663a4aab9838687dac5bc4543ba9
7bc41950d8bfdb019ce94301e3599edd937f09d2
302a74eda41dfd4c93c222dedb77dbfeee81f2e0
7500cff1f4ed1b31bdcbe9fba9e6c1b46290b017


