# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 7f16502d826b32d559791f8d5784be449decf60e
uuid: be5f4027-82ec-43de-89c5-262538523bfb
input_heaps:
55d97443c4a73a7f2f2ba7aab617db94bb5554f9
36d19a458526829aa8e7a165ce3ae192c1c58aee
38fb11bc5871ccdebc35f672f43b799896d5f760
3a17d70a137ee943ff1f27f4736cae7708e70a49
6ed94d8b56a4d84fbcadbaa088d7eeff9433b071


