# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 2f6f5208eaab2a228fd31894f4f91da29de02d6a
input_heaps:
4dd43a72c508768fac50cdef9695e95242e7fb38
312ccfaf33cb10192929cf5a1eb5ffba69430935
3320c015b4f519af7407bed7ce2713b72d3dc691
b5da14c030503fe12b4407f821b249c1620f03ea
a338fe58bb1d1732bb43eb2a8d37c094806b15c1


