# isabelle_session_info

session_name: HOL-Metis_Examples
sources: f6adb7ae1264f96323a68de0ae8276ee4e8d04e5
uuid: f3dbe33e-8179-480b-9ea2-b1398fa699b5
input_heaps:
d67dd59f24d4648407eee957ef090d6e7353dc59
6da8ff0f6583832242a60e1b676145250cb53d21
7fb1bcbdc689c3704991b764b006bfc099d8bfbd


