# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: ab88abe5ef6cfb037afcb5906a74fee8c6f474e9
output_heap: 28308489b7d81e61f2b7998c06d9ed87fcff992c
uuid: 20f2136f-12de-4573-9979-c1f50c559945
input_heaps:
f57eb8ed536f0e70cc3f24060ba296c4b68ba268
806371498c4294b06fd3427f88733a19f266392e
629b4334d6e19a2024f15c3501423225e1f0381c
7da0f2bbc0aad37c0df93200f76f2fb1acce1faf


