# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 2d69e5593b10a05ec16e9d0a1976deacac937d80
output_heap: 3f176ac6e69c7a99de77c1bdf560a02f2f2fcfe9
input_heaps:
c4657553ec539ee1cd3dbf9cf40b6479eb0e8be7
c09189980113121cb5f18aad2d7534bf09555b9d
4533b7e364605fb59c82205740102eec4cff9cab
83f98cf4e2f8b3d115f4d09700f30798a1532edb


