# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 6d661b2a5818ae445fdf6a0fb3630f84afc713da
output_heap: bdf32c45b89a85fc9d0a0e1a22883f43449879b2
input_heaps:
d2759733082b448cfff319a2231d0a2df2f8b2b0
2e8f9a63590d791f747e7d7cc375d115fd0ad5f6
dd8563f4b22bc7590188961a046246811dc06498
817c4c0a43eef7dc38493446ecde87e632ebeede


