# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: d002dff7802b40e9a9d855c9acfb225124105a7e
output_heap: f28957885634e92c576cd4afc8925704eba8bb05
input_heaps:
be5df6ecc97831ab26f150db4d5e1c990159d9d3
7843f235e3da3d82ada445f65814c4ce4af12915
e140c5ae2f1c9d3f6280dbaccf7eec38d643c6d1
7fcffffeab2f1f6c85374daff13f886015642eea


