# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: ed3e77eab3915b3f835c87b43f2e5c2ad780e45d
uuid: 0971e9a3-4745-472d-b4f0-a9aa4b78a008
input_heaps:
0a2c0c4191b1d84261ef90406b039e096e738a98
12745a0f51ab83415c41598c722acb7629442f25
db5df347df4a9d5f70da638d46b9ee35f81dc73f
c519196e71423c72ab27677b1c36681a28c9ad4b
10f49ecad3948d4693c4b24428e744583b27b0bd


