# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 4aa48d61643703da0c776a8420d290f63efa3ab6
output_heap: ecdafe57647fed2ec31f421401d240859f767cd3
input_heaps:
79e36a03a6cccf01470337ebf2c8411e21d944b2
b93bed27caa97c9f4b1f44bbf588fb4ffdfc6b77
93e60a74c792a2bd1ec7d931bc901a4cdda824be
10363bf070a4293b8ef6923cef325099abedadd4


