# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 9800df4eeb9c43c5cc11485d00b29086b00bb069
output_heap: 763df922684c81cb396c205f5748233b9aea8d8b
uuid: acb0e451-abe5-4428-81d7-427c6d773d08
input_heaps:
77299dddcb29b78175e82c70524d32bf9d698d4a
bd3bb075592b20659918170e65cd26a662a77f21
f73af0d5d0c2570b2a3edee067d504b616e059ee
239bd0d538a9cf9b1f92607249a02049d4e6b443


