# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: f60c99f283186530ca1fef2a434b816ee3b633b6
output_heap: 8cb5782cbd6cd911cbf28fbb7e2ddaf76c7f6e55
input_heaps:
75eeb56444031f228c4d12fa7c975fe0361d3053
9215cff597615dae854ce40f096fba5b49e1e36f
78982694c6a1c2e798eca881b8177004a12a678f
8453e36d06511ed8d1482499c644ef8a2d589619


