# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: db03f2638204c8183c14b2d373c666dea7c7e560
output_heap: b66012a899d6e51b32afb8d65f28d38a0d2e760c
input_heaps:
84f26ce01913cf374dc1c991cfbba0ac44f7783a
e7d19b8d6ca2092be300dabcd72735083d5d2405
43b60d3b795e6911ff3abaabb41bfedcfd496f47
6550cc5f7f98d49db050ff94348c0765c725c2ec


