# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 74088bf6be898719c4b76c1e8ac16c80d33c7f79
output_heap: 37dc463b34888942930413a64981465932196145
input_heaps:
d9ca9725dd7d36bf78afe35e40b7d2137df0f7c7
2d7fc4c8c99ec0195cfe8a002fcff890125c4fc2
27db0e64b3b356786ce1b65e6f736a32c6b5e500
6d63379917e16720a7373f846994a6df264b3344


