# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 4b1e53f125dcea029ab875cde8bee65df9465c28
output_heap: 60c2ef05f683a92e72b5d68b56de90b8280dd843
input_heaps:
52d50d10ccdc465a02bf994ffa404cd98f184ab5
894864dd28b977490995f7378a440f9a7de17a67
20c038704f4f82b1d8063d9a1ac8bbdfd4a8639b
1e627b2a97e2456045b570182bfb6f24b4b9dd1e


