# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 0f05250ef97799b35e6542e169c3f122ae064ba4
output_heap: 7a7c3e71581fde7f148027dd646cd8f21292b9f1
input_heaps:
41f17979ce98542c0541e9d469ab76fea38a3827
fe08b72d7ebf651118052c08d58fcecf57acb8b5
bcd6a8f9baa2d1eebdfb3c52bf0ed51aa49a5db7
5f240747f59512a486c9452b5fef9b632ea4e1bb


