# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: c7e0afe76f5e5cd61bd555db42af0cd3cf6429d7
output_heap: c44a0c7395d04cbb0fa375f5c61a2024ec9cfe1e
input_heaps:
e0d216aded3648c584893a197547a4e0a95dade9
4fa8faf444b48f686c8bc7779a09402ae481df68
5b8aeccb072fc34aad73ee1b04b4d95e4c76651f
5b7e5a6e4d7544d6b49b635095771dfc7ae966f1


