# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 8a9eb048b732d85962c666af6c7ae810ae10ad79
uuid: eb21169b-54ba-4770-9853-5179651db97d
input_heaps:
79322249ab134c8554bd4221788419e922866e99
2387fc3faef59fbd5e6cfc1d5a002f4fe962a0c3
136b97fcd0c3fc5c379cdaec1d5dbc45076944b5
241b8dafd9f13f40deef419782260fabff47b550
a62dc78908e48c810fead8550f744bf4f7be31b2


