# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 2c63b1d3612e89217e83b1ce70b159f24f70eee5
output_heap: d0b434b87d476dd5056194dc16e1bc33b5b16855
input_heaps:
2f7a95ebb0ed245614cdc5e59a663000c01e19df
bd7e2a02ad826143e46286eaf8c062e18c745fa0
c2ae05f8fdf7976759d0d0bf40192f6b13d07ab1
a1745bfcdece2ba7b16f562bc7a351498c30996f


