# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: da2f21f3fccfe724ae3330cc7b4fd986655738c7
output_heap: 681b6ce8472764e8250a4b8156f2297e7ff65a52
input_heaps:
214791451a3e4263691afe954bff2e8059b80e96
e3bbbabe140c0d040cec0633cb1518077c7e2174
7aedb265c9528835851ea8a48763f9dcf10d018e
e51a946b16d3af48774874b2b6cea652072cbb34


