# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 06d3d2bc4241f177ed2cd68f0e88e520c541ee10
input_heaps:
5aebde8d579a4faf3e50e1d4b283942cc112c6e0
5a9b453a33230a4e204d7939f4cab09dbfbbd852
56ebac93fc92c3b5b4e773691e04d2493a32917f
a0ae96ecef0e7236212b7f9d9d3e36c4fe12676a
6bd5bc5919bf871c0fb67d887b4399bf2832d49f


