# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 66d3e5b08a2ef7daaf4a55d72a0c06ec76b23eab
uuid: b6d2b0f5-b2cf-443a-90e9-f3cccbffd771
input_heaps:
d67dd59f24d4648407eee957ef090d6e7353dc59
6da8ff0f6583832242a60e1b676145250cb53d21
4ec1467d6da43550e13b979847f2891359d95631


