# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 1d9c7e8bc7382d306a58a566d1e2ae868d8c43b8
uuid: 2bd708cf-4d67-4c6a-86c7-5cdf006572e8
input_heaps:
2e4658671229f9274cfe02e0d36cff0126e3a110
b07d47266a283eadfc0a5330e0f2b1f156abc81c
7b7d3beb569ccf98e2ad20a11585a610eb4c0c4f
824aed50ce29c3e2891bb95c8344822e90439a98
39027e96af4f7c51bf41d22e1538627158c57565


