# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 29cc69b4cfa0a4b8d8152dd0bb54ef3b24d14d7a
uuid: bf738d0e-6a02-459b-8c67-0ba4fc62817d
input_heaps:
f57eb8ed536f0e70cc3f24060ba296c4b68ba268
806371498c4294b06fd3427f88733a19f266392e
629b4334d6e19a2024f15c3501423225e1f0381c


