# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 11baa175d0b5846ff7f6926e04495f728b9aee23
input_heaps:
4261b5a1501386295bfdb70e434ff4b92336605d
8bd4e929afcbb2be1bf5607a7362f9b0aead5da6
9d57baec7568878c083caab485bc257f450f36b5
50a8514f3b93463ee84132ac298a93f0cf09addd
7d4f0df39b65ffc81af89970c0c032852dd65c5e


