# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 2db855f93d42128195b4c757d009cd4a9a070d76
output_heap: 5e1c00f72847f7a6432624ca4c7bbd9c7602079e
uuid: 17448d0d-33ba-4dc8-9391-ec87018964d7
input_heaps:
980033d053f0749333661519c4d298c6280be1b3
69ff0e8818b8f465f2585ea0f57a610ce777e1be
f38759d1fce3ae187eeffcb386dd6fb5dc5783a4
4d2a82bf7f909bde7a1da7a64b00aff1834a9cdc


