# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 4077fed9f5b8921e1efbe25e167b03e27ff8980b
input_heaps:
3afe5ba5e03b152c0824328a6fe5be36e1471c8a
648947ba6d0d0ed793c5794fb9c57262f459d8bf
7cd3596437e58c6501e1c657429882190aceb188


