# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 10bf0d22599d5eca6426bd7fb9b8fa5e8aa10c60
output_heap: 3fddd43b46cc9bd2522a313a6892df312a2bb331
input_heaps:
181aae7d465d5494ebe895832d6bd3b131b73565
e55ecd3fb2aab56b0163bd7985198bc1847aa93f
820b0774356d6c074a134661734522d627631228
b61c72922fefa0c119b394875723181af2a8b167


