# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 6ca7b4ad2a631e7c0f4493b06bfd862a76908e9f
output_heap: 29edd4931114e2eba4c640d274cb90540e73aaa4
input_heaps:
51dd6ddf81f32d1521a081613e64272e00a7489b
26eb0d9d19e0107059d575886decce0ced0ef3ab
6c0f34ea0fc51fdcbad05b7638db01f5ea96b003
b41ec274bc61c862132dfae481310df562a5aace


