# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: b3736623497f546119990b752a75f2d73cf70aa4
output_heap: 2492c75829a498e9b2acda8b71e4896e981291ee
uuid: b67b8e48-27ae-4450-b16d-f17f5b8f669e
input_heaps:
a5086d29dbb3569e49157f03765007c8bb3737a4
079bb0e482226665fc24021353b53387cb6158a0
c06119fbb050747950d221a8f810d9bb34960724
6dfe89d808d68536452ed0cdb671d0893e3b008d


