# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 9800df4eeb9c43c5cc11485d00b29086b00bb069
output_heap: c0c760eb3162dd30aeb9b7a523d11e4ccc2b21ec
uuid: f5ba3ff0-635d-4a4d-a1d5-6b35b4f6fc8d
input_heaps:
cb1b65c467ef552552ff2e51a2d5ffb63afd4758
b8a02a834d8fbee8ac02bc0db66ecdd69ead8168
d121f1c3fa0be413c06903becad78f7c07ac4879
e5634cbc3e53dc0cb7ee1a6042ba43cf38515e53


