# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: c9159a85fe25d897daca636cce6f1be0291c96b8
output_heap: 4ebe0b84b810a1ab09b1bbd8d9027e6bbffe865a
input_heaps:
f84da1efeb09fd4a6dddd2573e5e78b0df151cfa
98f128cc9d5b9ec281c2dbbcccad4799d2c3af76
4ac9d0760ae4fec7561a961e3605e7cb0845082e
80923c4938556760f323cdf10d53a5bb038eddb3


