# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: f2ed73095338fc7f6dddfb3da23faaaf54070f36
uuid: 7a96c7b6-0e9c-4157-9eac-b280290b7287
input_heaps:
f57eb8ed536f0e70cc3f24060ba296c4b68ba268
806371498c4294b06fd3427f88733a19f266392e
629b4334d6e19a2024f15c3501423225e1f0381c
7da0f2bbc0aad37c0df93200f76f2fb1acce1faf
28308489b7d81e61f2b7998c06d9ed87fcff992c


