# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: fd3e6a530b79f7fd02ef17c8e14832c7ac8bd733
uuid: a015c85a-7e4e-4ca7-8dd0-fd4089597e28
input_heaps:
410762705afbcd782ce8dee8d2dd05d7dc4178b3
23f898d9e578305d6033b7e85db0c90d21f08baa
664498a91e20fd5c0b811316370a5baa6b5ad5b8
26944839c8d52769a23d013e1e0bab38151b6cec
b7e337f861e9f62a87cb0d1084291af5b7d7a505


