# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 9370ee0503d79240525bb2579efd4a7f48f2f052
output_heap: 22ea5e9d8f05de2d4f4bf758fe577e9f190d6758
uuid: 2ba9ba0b-2dfd-4220-93d2-1c1f462c86d7
input_heaps:
d67dd59f24d4648407eee957ef090d6e7353dc59
6da8ff0f6583832242a60e1b676145250cb53d21
7fb1bcbdc689c3704991b764b006bfc099d8bfbd
9d0f64d358f28b32135a64e68378ec8c0549f7e1


