# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: c9a4dfd9dac19da462a00f101265c9d16d6032fd
output_heap: 231c5545ea9adc66f5779014f55e1beb5614a9d9
input_heaps:
34c3d73a560673e85d6a79ed679f4ac127002b9c
cb7dfd709478d010b69c5220c7d782899ba3b103
1413cd76501485111dc589e55f8106f97f9eef63
81a44d5707ff9ea4a4000b82ecb3d5ac4ba588bd


