# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 6e5f753a081f8b890887b5ec84ba3ebb316ecf20
output_heap: 490780da30a946172c80326fda51ca9175c8e63e
input_heaps:
381b0b6f5ce27306df5e53b57f6ec5e3417fdc9a
7c6d46e4371dddfd01328e9f87c81c7516f6eaf8
13ed4ab13cea30e085478f948769ae8030f54baf
a3762f291420c61475fe3bf674d592c221b05e7b


