# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: f13cf83fd9c066d50781d31be3f4a378ba90748c
output_heap: 719652030338ee9d10377ff56b9263e827156349
input_heaps:
f9fe5181cb9478c198262b4c17f588ddff41df7c
b0692961ba4a44beefcdac6e2ebe2c86d91d5162
300726361c5e22a316c9daf286d75c8a2ed49bfc
821793bc8426e9da0b9bea00a0d4d0bcef15e34c


