# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 0e708655927a363986ada7f2f9b4f9581fd22f10
output_heap: 7013ce3b12603d850e9bff109f2eec4dfe80b3c1
input_heaps:
825f157ccf104eaf68947b05559181bff314ebf0
eebbbcd2c7cfd818a2e0e43209fadb4a2d9bab0f
fd88250889539183923d86819766c079155e3073
a37320e56d6cad2938a89aca67f9b963ac74ab66


