# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 9da10e7dc0e113eb7860e62d3326d2e23e6fa7e1
input_heaps:
3a634ab3b76b392e13202b87832c1e3638032c94
5636a44c4e9a4c44d2a3d9cb85352a67ef9c8e19
759644a2447df918c11f40bd14836b138f4487de
e67481c650ab16eafb51b93a1a608e64e323940e
7639a5b8aece736076ce5c14906b6f6f0867aebb


