# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 5f40f6e6a271962e689508804c092d51a99db76d
uuid: 4897d87d-26b6-4edb-8a44-acf9262579ca
input_heaps:
bf176a74a4593f4606195faad0fee6e7154ab4f8
647081ba81acf75d1ab12a3a72156ea7da74c66b
a3cac9d617e00a3aeb96c5476a40808551b632c8


