# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 918799d112bd8ca0e9cbfcd736ea77b20d235789
output_heap: 7d4f0df39b65ffc81af89970c0c032852dd65c5e
input_heaps:
4261b5a1501386295bfdb70e434ff4b92336605d
8bd4e929afcbb2be1bf5607a7362f9b0aead5da6
9d57baec7568878c083caab485bc257f450f36b5
50a8514f3b93463ee84132ac298a93f0cf09addd


