# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 0209d6f103e505e57ea161a3dc45ce4b0d13292c
output_heap: b6fc385cf210d4d0d2dbb3e63c78b6c4276e4bda
input_heaps:
f854ea4eb03a9c8a56164c4c9f9900e0cc800a63
2dd6e587916382bba3afcf62799d4ed12fe0eb85
0b5c4fad93a63d638535e624edb4f37620e0eb93
f81ab2e071bb5a4ec4097fe1a613616b92b25dfa


