# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: ab3e3def90d6e639e0ef88c4877cff2fd15c69c7
output_heap: 731ca24722bdf839f8bed885ddd58cc49ab92f31
input_heaps:
5904106a4d189718a398af4707433146ca1890af
45bddc69c5b5116a3b7296b1901d051f8dbd9620
e28ce8d3c229fc80deabcdd3d7a131303b78bd4f
d40f9b1b2d1b00a16014cf1259fa2e11f6c79c12


