# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 509ba9526ff317b9612935f305aab7fa297b654b
output_heap: f88ad5ed81435830eb47181d0e337cf45ae9d4cb
input_heaps:
7fc82d96a6cdcdfc2c4460ff25bb9a8c30e0eb7e
15b300149e9f03c6f17b2c67438a0a1255b696d9
37688449570e1eacfd2b69c1dbf1f4f0e137cee3
5f4b70326dfd993a7c2b06574676601029fd26b0


