# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 58a1b29669e8ca1e6b8c93eaba95b2fb77498e1e
input_heaps:
e7baa8814deb267f0ca02ad6b2743dcfee70fead
79507b478ee4fa080e158552e88210395a584d64
abe1060aea66d5f0b9b3fa79c7837a214b825243
08626ea9d45775120bacb3f2131a24afe1e915c1
621f4f959865d6ac725503b8d9bd0f113c1e233a


