# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 90f6a9833af33363dbd510b72fa8416e81b40ee2
uuid: f6941c39-c7cb-423e-8fc9-7ac0f81c7719
input_heaps:
d67dd59f24d4648407eee957ef090d6e7353dc59
6da8ff0f6583832242a60e1b676145250cb53d21
7fb1bcbdc689c3704991b764b006bfc099d8bfbd


