# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: fd3e6a530b79f7fd02ef17c8e14832c7ac8bd733
uuid: d27bcef3-9db8-40cf-8381-dc93e472398c
input_heaps:
ee1695b43a8fe77536cccfe86ad7014a312d9166
7a95e250afebdd7d8092dfd99109def1a56b2f6c
a71e2f09edbee60409337b839d416122dea3b915
0f29a6d64af62cae9d8d38651f141bc9dd3431ee
94d6a91707b6b0aeb20d33eaed0e4e1050b4ce67


