# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: d359720054c4cd31e22550485e19d60fb7fd6afa
uuid: b164a63d-6066-4396-bbd1-a9f3238cfc45
input_heaps:
4348ecd95d08b83381d65d778dc99414fdfeb2c2
a77f4df9e49ab5de749eea6768f2c7722537ebe4
9309a27732761fe284cdbbd5c45863a9dfc6c5c6
c36259b2c296375ae504aa6116e85200baee05ff
25c0ca1a556c325e45569e2f8e36f99c37c5be10


