# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 1e95d97c73900cd31ec4e9bd1f0a1d8eec73895e
input_heaps:
a709d2accdf7c7879bbeb7e5998f5ada145fc66d
83640fd834535baa5484547dfa008f9bc8fc785b
847e05063399add3820be03226a72340c399a3ee
6613b4338ba70a9277ea0d655be9338fa7dbe2f2
41c3c9e7d7f8696460efd16036e8fb0b929771b8


