# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 4a38ae52cde06718a9aa9595cbec51ce63690b12
output_heap: e3261682ff2231f48b7ffd127fe84be445b2cd6f
input_heaps:
fa95ed0464f30ce78a23f18378a450505aac44e2
33766297751265f96298d96dfa2ce2f96fd564b0
e3b4e0b699f05ce3febc45161dbf3eff25d7bd15
1ed6fd76347e0881529035b57b9aeb0e2b269736


