# isabelle_session_info

session_name: HOL-Corec_Examples
sources: a76bacca86fb62ac662ff08db134a35593acb711
uuid: 65454333-6a59-468f-a99c-2ca4bb559fc4
input_heaps:
d71e8b83f911dc6711df0d8e4f64597e847d6e09
23b6e28f27b54d8366ddb98ad7cf08dec46a808a
2636e013e9d0d8bdf68783e1e7e7195b7188d2c3


